Formalization of UML-statecharts
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1304378
- A formal semantics of UML statecharts by model transition systems
- An outline of PVS semantics for UML statecharts
- scientific article; zbMATH DE number 1569123
- Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
Cited in
(17)- Reconciling statechart semantics
- Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
- On testing UML statecharts
- An outline of PVS semantics for UML statecharts
- Refinement Patterns for Hierarchical UML State Machines
- Are Statecharts Finite Automata?
- scientific article; zbMATH DE number 1304378 (Why is no real title available?)
- A formal semantics of UML statecharts by model transition systems
- scientific article; zbMATH DE number 2086759 (Why is no real title available?)
- scientific article; zbMATH DE number 2086948 (Why is no real title available?)
- scientific article; zbMATH DE number 1569123 (Why is no real title available?)
- Statecharts, transition structures and transformations
- Global Computing
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Use of statechart diagrams for modeling of hypertext
- On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams
- Modelling and model checking suspendible business processes via statechart diagrams and CSP
This page was built for publication: Formalization of UML-statecharts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4435883)
