CASL Case Studies

Case Studies
Call for Contributions
CoFI and CASL
The purpose of this web site is to present specifications written in CASL, the Common Algebraic Specification Language developed by the Common Framework Initiative (CoFI). If you have some CASL case studies to share, you are welcome to send them to me for inclusion on this web page. Please follow the guideline for submitting case studies.

Case Studies

Call for Contributions

CoFI and CASL


Contents

Hubert Baumeister
November 14, 2005