Casl
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.
CoFI
: CoFI -- Version: -- November 29, 2004.
Comments to pdmosses@brics.dk
