Designing domain specific languages -- a craftsman's approach for the railway domain using \textsc{Casl}

DOI10.1007/978-3-642-37635-1_11MaRDI QIDQ2848883zbMATH OpenOpenAlexFDO

Authors Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach

Publication date 13 September 2013

Published in Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-37635-1_11

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Casl-Mdl, modelling dynamic systems with a formal foundation and a UML-like notation
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• scientific article; zbMATH DE number 2172806
• Design for proof: An approach to the design of domain-specific languages
• CASL: the Common Algebraic Specification Language.

Cited in

(5)

• Towards an institutional framework for heterogeneous formal development in UML -- a position paper
• Institution-based encoding and verification of simple UML state machines in CASL/SPASS
• Model-driven engineering in the heterogeneous tool set
• Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans
• Casl-Mdl, modelling dynamic systems with a formal foundation and a UML-like notation

This page was built for publication: Designing domain specific languages -- a craftsman's approach for the railway domain using \textsc{Casl}

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