From specification to implementation

3


  • structure versus behavior
  • model-based specification
  • abstract systems
slide: Section 4.3: From specification to implementation