scientific article; zbMATH DE number 2006503

MaRDI QIDQ4435883zbMATHFDO

Authors Michael von der Beeck

Publication date 20 November 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2185/21850406.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1304378
• scientific article; zbMATH DE number 2016088
• 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)

• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Refinement Patterns for Hierarchical UML State Machines
• On testing UML statecharts
• Use of statechart diagrams for modeling of hypertext
• scientific article; zbMATH DE number 2086759 (Why is no real title available?)
• An outline of PVS semantics for UML statecharts
• Statecharts, transition structures and transformations
• scientific article; zbMATH DE number 2086948 (Why is no real title available?)
• Modelling and model checking suspendible business processes via statechart diagrams and CSP
• Are Statecharts Finite Automata?
• On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams
• Reconciling statechart semantics
• scientific article; zbMATH DE number 2016088 (Why is no real title available?)
• scientific article; zbMATH DE number 1569123 (Why is no real title available?)
• Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
• Global Computing
• scientific article; zbMATH DE number 1304378 (Why is no real title available?)

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 Q4435883)