Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl
From MaRDI portal
Publication:2848883
DOI10.1007/978-3-642-37635-1_11zbMath1394.68239OpenAlexW1466613629MaRDI QIDQ2848883
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
Related Items (4)
Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans ⋮ Institution-based encoding and verification of simple UML state machines in CASL/SPASS ⋮ Model-Driven Engineering in the Heterogeneous Tool Set ⋮ 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 Casl