CASL
From CoFI
This is the main web page for information about Casl.
The specification language developed by CoFI is called Casl: the Common Algebraic Specification Language. Its main features are as follows:
- Casl is based on a critical selection of known constructs.
- It is an expressive, simple, pragmatic language.
- It is suitable for specifying requirements and design for conventional software packages
- It has restrictions to various sublanguages.
- It has extensions to higher-order, state-based, concurrent, and other languages.
- Use of Casl is supported by tools.
Various documents are provided below concerning the use and design of Casl, its sublanguages and extensions, and the Casl tools.
Casl Documents Casl Sublanguages Casl Extensions Casl Tools Origins of CASL