An institutional approach to communicating UML state machines
From MaRDI portal
Publication:6535554
DOI10.1007/978-3-030-99429-7_12zbMATH Open1547.68469MaRDI QIDQ6535554
Tobias Rosenberger, Markus Roggenbach, Alexander Knapp
Publication date: 23 January 2024
Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
- Unnamed Item
- Relating CASL with other specification languages: the institution level.
- CASL reference manual. The complete documentation of the common algebraic specification language.
- Institution-based encoding and verification of simple UML state machines in CASL/SPASS
- Modal logic
- Institutions: abstract model theory for specification and programming
- Towards an Institutional Framework for Heterogeneous Formal Development in UML
This page was built for publication: An institutional approach to communicating UML state machines
