Author:
Schönborn Jens,Kyas Marcel
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231–274 (1987)
2. Harel, D., Gery, E.: Executable object modeling with Statecharts. Computer 30(7), 31–42 (1997)
3. Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. John Wiley & Sons, Inc., New York (1994)
4. Maraninchi, F., Rémond, Y.: Argos: an automaton-based synchronous language. Comp. Lang. 27(1/3), 61–92 (2001)
5. OMG: UML 2.1.2 Superstructure Specification (November 2007),
http://www.omg.org/cgi-bin/docs/formal/2007-11-02.pdf
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Property Preservation for Extension Patterns of State Transition Diagrams;Lecture Notes in Computer Science;2016
2. Refinement patterns for ASTDs;Formal Aspects of Computing;2014-09
3. Refinement patterns for ASTD;ACM SIGSOFT Software Engineering Notes;2012-07-16