Project Details
Description
CoFI (Common Framework Initiative) is
an international project with participants from most major groups working on algebraic specification.
The goal of the initiative is to design
a common framework for algebraic specification. The rationale behind this is that the lack of such a framework hinders the dissemination and application of research results in algebraic specification.
CoFI will provide a family of specification languages, a development method and tool support.
The project was partly supported by STVF under the "Codesign" program
1996-1997, and by the ESPRIT CoFI WG 1998-2001.
an international project with participants from most major groups working on algebraic specification.
The goal of the initiative is to design
a common framework for algebraic specification. The rationale behind this is that the lack of such a framework hinders the dissemination and application of research results in algebraic specification.
CoFI will provide a family of specification languages, a development method and tool support.
The project was partly supported by STVF under the "Codesign" program
1996-1997, and by the ESPRIT CoFI WG 1998-2001.
| Status | Finished |
|---|---|
| Effective start/end date | 01/11/1995 → 31/12/2003 |
Collaborative partners
- Technical University of Denmark (lead)
- Unknown (Project partner)
- Aarhus University (Project partner)
- University of Bremen (Project partner)
Funding
- Overhead/overskud
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.