Go backward to E.2 Generic Structured Specifications
Go up to E Examples
E.3 Architectural Specifications
%% The example at the end of this section illustrates the
%% difference between the structure of specifications and
%% the architectural specification of structure.
CoFI
Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to cofi-language@brics.dk