Casl is an expressive language for the formal specification of functional requirementsand modular... more Casl is an expressive language for the formal specification of functional requirementsand modular design of software. It has been designed by CoFI, the international Common Framework Initiative for algebraic specification and development. Itis based on a critical selection of features that have already been explored in variouscontexts, including subsorts, partial functions, first-order logic, and structured andarchitectural specifications. Casl should facilitate
Casl is an expressive language for the formal specification of functional requirementsand modular... more Casl is an expressive language for the formal specification of functional requirementsand modular design of software. It has been designed by CoFI, the international Common Framework Initiative for algebraic specification and development. Itis based on a critical selection of features that have already been explored in variouscontexts, including subsorts, partial functions, first-order logic, and structured andarchitectural specifications. Casl should facilitate
Uploads
Papers by A. Haxthausen