Express Requirements
* Static Descriptions─ specify objects and their relationships with each other
* Dynamic Descriptions─ specify states and transitions between states over time
Static Descriptions
* Indirect Reference
* Recurrence Relations
* Axiomatic Definition
* Expression as a Language
* Data Abstraction
Dynamic Descriptions
* Decision Tables
* Functional Descriptions and Transition Diagrams
* Event Tables
* Petri Nets
* Object-oriented specification