Chapter

Recent Trends in Algebraic Development Techniques

Volume 2267 of the series Lecture Notes in Computer Science pp 328-343

Date:

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

  • Donald SannellaAffiliated withLaboratory for Foundations of Computer Science, University of Edinburgh

* Final gross prices may vary according to local VAT.

Get Access

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.