scientific article; zbMATH DE number 2079806

MaRDI QIDQ4471907zbMATH OpenFDO

Authors Hubert Baumeister, Alexandre V. Zamulin

Publication date 30 July 2004

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.
• scientific article; zbMATH DE number 1617291 (Why is no real title available?)
• scientific article; zbMATH DE number 1630101 (Why is no real title available?)
• scientific article; zbMATH DE number 1696893 (Why is no real title available?)
• 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?)
• scientific article; zbMATH DE number 2013601 (Why is no real title available?)
• 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:

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