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

Donald Sannella

doi:10.1007/3-540-45645-7_16

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English
Title of host publication	Recent Trends in Algebraic Development Techniques
Subtitle of host publication	15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers
Publisher	Springer
Pages	328-344
Number of pages	17
ISBN (Electronic)	978-3-540-45645-2
ISBN (Print)	978-3-540-43159-6
DOIs	https://doi.org/10.1007/3-540-45645-7_16
Publication status	Published - 2001

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	2267
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-45645-7_16

http://link.springer.com/chapter/10.1007%2F3-540-45645-7_16

Cite this

Sannella, D. (2001). The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress. In Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers (pp. 328-344). (Lecture Notes in Computer Science; Vol. 2267). Springer. https://doi.org/10.1007/3-540-45645-7_16

@inproceedings{3d37fe72c9684a1fb34660e38f374391,

title = "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.",

author = "Donald Sannella",

year = "2001",

doi = "10.1007/3-540-45645-7\_16",

language = "English",

isbn = "978-3-540-43159-6",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "328--344",

booktitle = "Recent Trends in Algebraic Development Techniques",

address = "United Kingdom",

}

Sannella, D 2001, The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress. in Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers. Lecture Notes in Computer Science, vol. 2267, Springer, pp. 328-344. https://doi.org/10.1007/3-540-45645-7_16

The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress. / Sannella, Donald.
Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers. Springer, 2001. p. 328-344 (Lecture Notes in Computer Science; Vol. 2267).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

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

AU - Sannella, Donald

PY - 2001

Y1 - 2001

N2 - 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.

AB - 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.

U2 - 10.1007/3-540-45645-7_16

DO - 10.1007/3-540-45645-7_16

M3 - Conference contribution

SN - 978-3-540-43159-6

T3 - Lecture Notes in Computer Science

SP - 328

EP - 344

BT - Recent Trends in Algebraic Development Techniques

PB - Springer

ER -

Sannella D. The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress. In Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers. Springer. 2001. p. 328-344. (Lecture Notes in Computer Science). doi: 10.1007/3-540-45645-7_16

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

Abstract

Publication series

Access to Document

Fingerprint

Cite this