Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation
From MaRDI portal
Publication:2890325
DOI10.1007/978-3-642-28412-0_7zbMath1312.68140OpenAlexW1574767667MaRDI QIDQ2890325
Christine Choppy, Gianna Reggio
Publication date: 8 June 2012
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-28412-0_7
Related Items (2)
Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation ⋮ A Framework for Defining and Comparing Modelling Methods
Uses Software
Cites Work
- CASL reference manual. The complete documentation of the common algebraic specification language.
- A formally grounded software specification method
- Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation
- Fundamental Approaches to Software Engineering
- LSCs: Breathing life into message sequence charts
This page was built for publication: Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation
