3 Requirement versus Design SpecificationsTop1 Naming Conventions2 Basic Specifications

2 Basic Specifications

Being the elementary building blocks of CASL specifications, basic specification should be carefully designed. In order to obain readability, the different kinds of CASL basic items should be arranged in a prescribed order. Signatures should be both: `naturally' small and `complete'. The combination of datatypes and subsorting needs to be dealt with. Finally, there are guidelines how to characterize the domain of partial functions.

  • 2.1 Ordering Elements
  • 2.2 Minimal Signatures
  • 2.3 Predicative subsorts
  • 2.4 Domains of Partial Functions

  • CoFI Note: M-6 -- Version: 0.7 -- June 2002.
    Comments to cofi@informatik.uni-bremen.de

    3 Requirement versus Design SpecificationsTop1 Naming Conventions2 Basic Specifications