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

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

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 (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)