![References](images/next.gif) | ![Top](images/up.gif) | ![3 Requirement versus Design Specifications](images/previous.gif) | 4 Structured Specifications |
4 Structured Specifications
Larger specifications should be structured into smaller parts
in order to increase readability and also re-use.
CASL has a number of language constructs allowing to write
specifications in a structured way; we here demonstrate
and explain their use. Parameterized and free specifications
(and how to avoid some pitfalls when using them) are explained
in separate subsections.
CoFI
Note: M-6 -- Version: 0.7 -- June 2002.
Comments to cofi@informatik.uni-bremen.de
![References](images/next.gif) | ![Top](images/up.gif) | ![3 Requirement versus Design Specifications](images/previous.gif) | 4 Structured Specifications |