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

DOI10.1007/978-3-642-37635-1_11zbMATH Open1394.68239OpenAlexW1466613629MaRDI QIDQ2848883FDOQ2848883

Alexander Knapp, Markus Roggenbach, Phillip James, Till Mossakowski

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

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.

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited In (4)

• 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
• Towards an Institutional Framework for Heterogeneous Formal Development in UML

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)