Prev Up Next
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. []

  • 6.2.1 Specification Definitions
  • 6.2.2 Specification Instantiation

  • CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
    Comments to cofi-language@brics.dk

    Prev Up Next