State-based extension of CASL

DOI10.1007/3-540-40911-4_2MaRDI QIDQ4471907zbMATH OpenFDO

Authors Hubert Baumeister, Alexandre V. Zamulin

Publication date 30 July 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1945/19450003.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 743582
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications
• Transition specifications for dynamic abstract data types
• scientific article; zbMATH DE number 2172806

Cited in

(14)

• Transition specifications for dynamic abstract data types
• Relating CASL with other specification languages: the institution level.
• Extending CASL by late binding
• Algebraic imperative specifications
• Casl-Chart: A combination of statecharts and of the algebraic specification language Casl
• Casl-Mdl, modelling dynamic systems with a formal foundation and a UML-like notation
• scientific article; zbMATH DE number 1822438 (Why is no real title available?)
• DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications
• scientific article; zbMATH DE number 683369 (Why is no real title available?)
• scientific article; zbMATH DE number 713868 (Why is no real title available?)
• Towards dynamic population management of abstract machines in the B method
• scientific article; zbMATH DE number 743582 (Why is no real title available?)
• An Institution for Imperative RSL Specifications
• Dynamical systems with implicit state

This page was built for publication: State-based extension of CASL

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