Go backward to 6.1 Structured Specifications
Go up to 6 Structuring Constructs
Go forward to 6.3 Views
6.2 Named and Parametrized Specifications
[CHANGED:] Specifications are named by specification definitions, and referenced
by use of the name. A named specification may also have some
parameters, which have to be instantiated when referencing the
specification.
[]
CoFI
Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to cofi-language@brics.dk