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

Printable version | Disclaimers | Privacy policy

Case studies

From CoFI

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

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

This page has been accessed 9,670 times. This page was last modified 13:15, 12 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...