Cited By
View all- Kim JKang IChoi JLee I(2010)Timed and Resource-Oriented Statecharts for Embedded SoftwareIEEE Transactions on Industrial Informatics10.1109/TII.2010.20602066:4(568-578)Online publication date: Nov-2010
Statecharts are well-suited to describe the behavior of objects in object-oriented systems. Effective statechart evolution analysis for detecting errors and exploring design alternatives requires to reveal the semantic differences from one statechart to ...
This paper presents a formal requirements engineering method capturing specification, synthesis, and verification. Being multi-paradigm, our approach integrates individual established formal methods: temporal logics are used to express abstract ...
We give a formal semantics for one of the main UML diagram types for dynamical system behavior: statechart diagrams. This is the first semantics which explicitly models message-passing between different diagrams. It therefore lays a first foundation for ...
Association for Computing Machinery
New York, NY, United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in