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