CoFI

(Redirected from Main Page)

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

• [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
• [080131] Talk on ontologies using CASL
• [080112] Editing of this Wiki restricted to registered users for anti-spam reasons
• [071212] Book Logics of Specification Languages has appeared, with a chapter on CASL
• [070329] TACAS-talk on the Heterogeneous tool set
• [061215] CoFI web-pages have moved to a Wiki
• [061115] Submission for CALCO 2007 is open
• [060603] Change of CoFI overall coordinator