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

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.