The following pages link to (Q4251114):
Displaying 10 items.
- On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams (Q855010) (← links)
- Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker (Q1578397) (← links)
- Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking (Q1858428) (← links)
- On testing UML statecharts (Q2500697) (← links)
- Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata (Q2637308) (← links)
- An outline of PVS semantics for UML statecharts (Q2709232) (← links)
- A note on semantics (with an emphasis on UML) (Q2737500) (← links)
- Compositional operational semantics of a UML-kernel-model language (Q2852096) (← links)
- Synergistic verification and validation of systems and software engineering models (Q3654541) (← links)
- Fundamental Approaches to Software Engineering (Q5428888) (← links)