Project Details
Description
CoFI, the Common Framework Initiative for algebraic specificationand development of software, is an open international (but predominantly European) collaboration. CoFI participants have designed CASL, intended as a /common/ language for formal specification of functional requirements and modular software design.
The Working Group will coordinate the completion of and disseminate the Common Framework, demonstrate its practical applicability in industrial contexts, and establish the infrastructure needed for future European collaborative research in algebraic techniques.
The Working Group will coordinate the completion of and disseminate the Common Framework, demonstrate its practical applicability in industrial contexts, and establish the infrastructure needed for future European collaborative research in algebraic techniques.
| Status | Finished |
|---|---|
| Effective start/end date | 01/10/1998 → 30/04/2001 |
Collaborative partners
- Technical University of Denmark (lead)
- University of Warsaw (Project partner)
- Aarhus University (Project partner)
- École normale supérieure Paris-Saclay (Project partner)
- University of Genoa (Project partner)
- Dresden University of Technology (Project partner)
- University of Edinburgh (Project partner)
- University of Bremen (Project partner)
- French National Institute for Computer Science and Applied Mathematics (Project partner)
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.