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
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 -- Version: 1.0 -- 22 July 1999.
Comments to cofi-language@brics.dk