scientific article; zbMATH DE number 1304378
From MaRDI portal
Publication:4251114
Recommendations
- A formal semantics of UML statecharts by model transition systems
- Formalization of UML-statecharts
- A formal semantics of UML state machines based on structured graph transformation
- Describing the syntax and semantics of UML statecharts in a heterogeneous modelling environment
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Fundamental Approaches to Software Engineering
Cited in
(20)- Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
- Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
- On testing UML statecharts
- Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata
- An outline of PVS semantics for UML statecharts
- A note on semantics (with an emphasis on UML)
- Strengthening UML collaboration diagrams by state transformations
- Compositional operational semantics of a UML-kernel-model language
- Synergistic verification and validation of systems and software engineering models
- A formal semantics of UML state machines based on structured graph transformation
- Representing embedded system sequence diagrams as a formal language
- Formalization of UML-statecharts
- A formal semantics of UML statecharts by model transition systems
- A formal model of the UML metamodel: The UML state machine and its integrity constraints
- Describing the syntax and semantics of UML statecharts in a heterogeneous modelling environment
- scientific article; zbMATH DE number 1569123 (Why is no real title available?)
- Fundamental Approaches to Software Engineering
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Compositional semantics and refinement of Statecharts
- On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4251114)
