Working Notes: a commonplace notebook for recording & exploring ideas.
Home. Site Map. Subscribe. More at expLog.

Reason About Systems

(wish I had attended this directly too)

• Marianne Bellotti

• Kill it with fire

• Building expertise

  • There's the "theory", what people aspire to
  • People build mental models by operating the system
  • Incidents: panic is learning coming into the body

• Mental model

  • based on patterns and analogy
  • using abstractions

• Formal methods

  • Simulation: given inputs, compare with outputs
  • Checking: test values

• Fault modelling language

  • fault-lang
  • experimental
  • transpiler
  • stock/flow / state charts
  • stocks / flows
    • resources
    • functions that increase / decrease that
  • can model memory! and other resources!

• thinking about interactions of capacity to create behavior

• system dynamics

• control theory

• SMT

  • polish notation

• Figures out branches

— Kunal