CoFIMain Page | About | Help | FAQ | Special pages | Log in

Printable version | Disclaimers | Privacy policy

CoFI

From CoFI

 The Common Framework Initiative
 for algebraic specification and development


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.
Image:LNCS2900.jpg Image:LNCS2960.jpg
Casl User Manual Casl Reference Manual


News

Retrieved from "http://www.informatik.uni-bremen.de/cofi/wiki/index.php/CoFI"

This page has been accessed 81,204 times. This page was last modified 10:44, 1 June 2014.


Find

Browse
Main Page
About
News
Recent changes
Random page
Wiki help
Tutorials
FAQ
CASL
CASL Extensions
Basic Libraries
Case Studies
Projects
Tools
Mailing Lists
Organization
Publications
Archives
Links
Bibliography
Edit
View source
Editing help
This page
Discuss this page
Post a comment
Printable version
Context
Page history
What links here
Related changes
My pages
Log in / create account
Special pages
New pages
File list
Statistics
Bug reports
More...