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.68239MaRDI 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
68Q65: Abstract data types; algebraic specification
Related Items
Towards an Institutional Framework for Heterogeneous Formal Development in UML, 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