From Specifications to Code in Casl

David Aspinall; Donald Sannella

doi:10.1007/3-540-45719-4_1

From Specifications to Code in Casl

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

Abstract / Description of output

The status of the Common Framework Initiative (CoFI) and the Common Algebraic Specification Language (Casl) are briefly presented. One important outstanding point concerns the relationship between Casl and programming languages; making a proper connection is obviously central to the use of Casl specifications for software specification and development. Some of the issues involved in making this connection are discussed.

Original language	English
Title of host publication	Algebraic Methodology and Software Technology
Subtitle of host publication	9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings
Editors	Hélène Kirchner, Christophe Ringeissen
Publisher	Springer
Pages	1-14
Number of pages	14
Volume	2422
ISBN (Electronic)	978-3-540-45719-0
ISBN (Print)	978-3-540-44144-1
DOIs	https://doi.org/10.1007/3-540-45719-4_1
Publication status	Published - 2002

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	2422

Access to Document

10.1007/3-540-45719-4_1

http://dx.doi.org/10.1007/3-540-45719-4_1

Cite this

Aspinall, D., & Sannella, D. (2002). From Specifications to Code in Casl. In H. Kirchner, & C. Ringeissen (Eds.), Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings (Vol. 2422, pp. 1-14). (Lecture Notes in Computer Science; Vol. 2422). Springer. https://doi.org/10.1007/3-540-45719-4_1

Aspinall, David ; Sannella, Donald. / From Specifications to Code in Casl. Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings. editor / Hélène Kirchner ; Christophe Ringeissen. Vol. 2422 Springer, 2002. pp. 1-14 (Lecture Notes in Computer Science).

@inproceedings{d793c3fa0bd74399ae378195b4131e0f,

title = "From Specifications to Code in Casl",

abstract = "The status of the Common Framework Initiative (CoFI) and the Common Algebraic Specification Language (Casl) are briefly presented. One important outstanding point concerns the relationship between Casl and programming languages; making a proper connection is obviously central to the use of Casl specifications for software specification and development. Some of the issues involved in making this connection are discussed.",

author = "David Aspinall and Donald Sannella",

year = "2002",

doi = "10.1007/3-540-45719-4_1",

language = "English",

isbn = "978-3-540-44144-1",

volume = "2422",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "1--14",

editor = "H{\'e}l{\`e}ne Kirchner and Christophe Ringeissen",

booktitle = "Algebraic Methodology and Software Technology",

address = "United Kingdom",

}

Aspinall, D & Sannella, D 2002, From Specifications to Code in Casl. in H Kirchner & C Ringeissen (eds), Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings. vol. 2422, Lecture Notes in Computer Science, vol. 2422, Springer, pp. 1-14. https://doi.org/10.1007/3-540-45719-4_1

From Specifications to Code in Casl. / Aspinall, David ; Sannella, Donald.
Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings. ed. / Hélène Kirchner; Christophe Ringeissen. Vol. 2422 Springer, 2002. p. 1-14 (Lecture Notes in Computer Science; Vol. 2422).

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

TY - GEN

T1 - From Specifications to Code in Casl

AU - Aspinall, David

AU - Sannella, Donald

PY - 2002

Y1 - 2002

N2 - The status of the Common Framework Initiative (CoFI) and the Common Algebraic Specification Language (Casl) are briefly presented. One important outstanding point concerns the relationship between Casl and programming languages; making a proper connection is obviously central to the use of Casl specifications for software specification and development. Some of the issues involved in making this connection are discussed.

AB - The status of the Common Framework Initiative (CoFI) and the Common Algebraic Specification Language (Casl) are briefly presented. One important outstanding point concerns the relationship between Casl and programming languages; making a proper connection is obviously central to the use of Casl specifications for software specification and development. Some of the issues involved in making this connection are discussed.

U2 - 10.1007/3-540-45719-4_1

DO - 10.1007/3-540-45719-4_1

M3 - Conference contribution

SN - 978-3-540-44144-1

VL - 2422

T3 - Lecture Notes in Computer Science

SP - 1

EP - 14

BT - Algebraic Methodology and Software Technology

A2 - Kirchner, Hélène

A2 - Ringeissen, Christophe

PB - Springer

ER -

Aspinall D , Sannella D. From Specifications to Code in Casl. In Kirchner H, Ringeissen C, editors, Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings. Vol. 2422. Springer. 2002. p. 1-14. (Lecture Notes in Computer Science). doi: 10.1007/3-540-45719-4_1

From Specifications to Code in Casl

Abstract / Description of output

Publication series

Access to Document

Fingerprint

Cite this