Next: General Up: Background, Comparison and Summary Previous: Which Type of Formal

Comparison of Specification Languages

General
Operator Definition
- Exercise 15.1
- Exercise 15.2
Building Up Specifications
The Data Type Invariant
Specification versus High Level Programming Languages
- Exercise 15.1

Lee McCluskey
2002-12-18