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

Abstract

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.KeywordsRecent TrendTask GroupCommon FrameworkAbstract SyntaxLanguage DesignThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.