A simple refinement language for Casl

DOI10.1007/978-3-540-31959-7_10MaRDI QIDQ5703987zbMATH OpenOpenAlexFDO

Authors Till Mossakowski, Donald Sannella, Andrzej Tarlecki

Publication date 11 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b107129

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Architectural specifications in CASL
• Observational interpretation of Casl specifications
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• Global development via local observational construction steps
• Verifying generative Casl architectural specifications.

Cited in

(7)

• HasCasl: integrated higher-order specification and program development
• Relating CASL with other specification languages: the institution level.
• Lambda expressions in Casl architectural specifications
• Property Preserving Refinement for Csp-Casl
• Towards an institutional framework for heterogeneous formal development in UML -- a position paper
• Verifying generative Casl architectural specifications.
• Architectural specifications in CASL

This page was built for publication: A simple refinement language for Casl

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5703987)