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