A Concise Compositionalj Statecharts Semantics Definition

Authors:
Michael von der Beeck
Affiliations:
-
Venue:
FORTE/PSTV 2000 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX)
Year:
2000

Proceedings of the 3rd ACM international workshop on Data warehousing and OLAP

Ninth International Conference on Information and Knowledge Management
The intuitionism behind Statecharts steps

ACM Transactions on Computational Logic (TOCL)
Formalization of UML-Statecharts

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A formal semantics of UML-RT

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems

Hi-index	0.00