From specification to design

4

  • modeling -- structural versus behavioral
  • specification -- state and operations
  • abstract systems -- as a design methodology

slide: Section 3.4: From specification to design