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

Printable version | Disclaimers | Privacy policy

About CoFI

(Redirected from CoFI:About)

CoFI, the Common Framework Initiative for algebraic specification and development of software, was started in 1995 as an open international collaboration. The overall coordinator of CoFI since summer 2006 is Till Mossakowski. Past coordinators have been Peter Mosses and Don Sannella.

CoFI participants have designed Casl, intended as a common language for formal specification of functional requirements and modular software design. Casl supports interoperability of prototyping and verification tools, and it subsumes many previous specification languages.

CoFI Origins
CoFI Aims and Scope
Casl, The Common Algebraic Specification Language
CoFI WG
CoFI Industrial Impact

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

This page has been accessed 23,798 times. This page was last modified 14:46, 10 October 2009.


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...