CoFI
From CoFI
|
|
|
Tutorials
| Casl
| Casl Extensions
| Basic Libraries
| Case Studies
| Projects
| Tools
| News
| Logos
| About
Frequently asked questions | Mailing Lists | Organization | Publications | Archives | Links | Bibliography
| CoFI is a voluntary organization, sponsored by IFIP WG1.3, and founded as an open collaborative effort to produce a Common Framework for Algebraic Specification and Development, including Casl, the Common Algebraic Specification Language.
| 
| 
|
| Casl User Manual | Casl Reference Manual |
News
- [101101] Hets version 0.97 released
- [100615] 20th International Workshop on Algebraic Development Techniques WADT 2010 with a number of talks related to CASL and extensions
- [100430] Hets version 0.95 released
- [091010] Wikipedia article about CASL