Author:
Kohlmeyer Jens,Guttmann Walter
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. von der Beeck, M.: A structured operational semantics for UML-statecharts. Software and Systems Modeling 1(2), 130–141 (2002)
2. Börger, E., Cavarra, A., Riccobene, E.: On formalizing UML state machines using ASMs. Information and Software Technology 46(5), 287–292 (2004)
3. Börger, E., Stärk, R.: Abstract State Machines. Springer, Heidelberg (2003)
4. Lecture Notes in Computer Science;M. Broy,2007
5. Cengarle, M.V., Grönninger, H., Rumpe, B.: System model semantics of statecharts. Informatik-Bericht 2008-04, TU Braunschweig (July 2008)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Abstract state machine nets;Proceedings of the 7th International Conference on Subject-Oriented Business Process Management;2015-04-23
2. Required behavior of sequence diagrams;ACM Transactions on Software Engineering and Methodology;2014-03
3. A logic-based semantics for the verification of multi-diagram UML models;ACM SIGSOFT Software Engineering Notes;2012-07-16
4. Required Behavior of Sequence Diagrams: Semantics and Refinement;2011 16th IEEE International Conference on Engineering of Complex Computer Systems;2011-04
5. A Unified Operational Semantics for UML in Situation Calculus;Communications in Computer and Information Science;2011