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