Readings

Home

Meetings with Hans

Readings

Links

Manage

Statecharts

David Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming. Volume 8. 1987. pp. 231 - 274. [pdf].

David Harel. On Visual Formalisms. Communications of the ACM. Volume 31, No. 5. 1988. pp. 514 - 530. [pdf].

David Harel and Amnon Naamad, The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology (TOSEM) Volume 5, Issue 4 (October 1996) p293-333[pdf]

David Harel and Hillel Kugler, The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML), Lecture Notes in Computer Science, Volume 3147, Jan 2004, Pages 325 - 354. [pdf].

Michelle L. Crane, Juergen Dingel, UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal. Lecture Notes in Computer Science, Volume 3713, Nov 2005, Page 97 - 112. pdf].

AToM³

DCharts, SVN, SCC in Thomas Feng's M.Sc. thesis: Modelling and Simulation with DCharts, a Modular and Expressive Formalism.

SVM & SCC Tutorial by Thomas Feng : SVM & SCC Tutorial.

AToM³ programming tutorial: AToM³ Python API by Juan De Lara.

Code Synthesis for Reactive Systems Using Class Diagrams and Statecharts by David Meunier. [report (pdf)]

Programming

Programming with Python by Gerard Swinnen [pdf].

Programming Python, 3rd Edition (Processes, Signals, Design Pattern : Visitor) by Mark Lutz [html]

Maintained by Charles Bouttaz .

Last Modified: 2008/09/10 00:03:05.