A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
CASL: A Guided Tour of its Design
1998
BRICS Report Series
Casl is an expressive language for the specification of functional<br />requirements and modular design of software. It has been designed by CoFI, the international Common Framework Initiative for algebraic specification and development. It is based on a critical selection of features that have already been explored in various contexts, including subsorts, partial functions, first-order logic, and structured and architectural<br />specifications. Casl should facilitate interoperability of many
doi:10.7146/brics.v5i43.19488
fatcat:c6uvara7efclfbhjix6vaf2e5q