Linxco's blog

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

Posted by Kevin on Friday, January 06, 2006 at 6:35 AM | Permalink