The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

The Common Framework Initiative (CoFI) is an open international collaboration which aims to provide a common framework for algebraic Specification and development of software. The central element of the Common Framework is a Specification language called CASL for formal specification of functional requirements and modular software design which subsumes many previous algebraic Specification languages. This paper is a brief summary of progress on CoFI during the period 1998-2001, when CoFI received funding from the European Commission as a Working Group under the Esprit programme.
Original languageEnglish
Title of host publicationRecent Trends in Algebraic Development Techniques
Subtitle of host publication15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers
PublisherSpringer Berlin Heidelberg
Pages328-344
Number of pages17
ISBN (Electronic)978-3-540-45645-2
ISBN (Print)978-3-540-43159-6
DOIs
Publication statusPublished - 2001

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume2267
ISSN (Print)0302-9743

Fingerprint

Dive into the research topics of 'The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress'. Together they form a unique fingerprint.

Cite this