The Community for Technology Leaders
Green Image
Issue No. 03 - May/June (2009 vol. 26)
ISSN: 0740-7459
pp: 87-95
David Harel , Weizmann Institute of Science
Michal Gordon-Kiwkowitz , Weizmann Institute of Science
A graduate course on visual formalisms for reactive systems emphasized using such languages for not only specification and requirements but also (and predominantly) actual execution. The course presented two programming approaches: an intra-object approach using statecharts and an interobject approach using live sequence charts. Using each approach, students built a small system of their choice and then combined the two systems.
visual formalisms, statecharts, reactive systems, live sequence charts

D. Harel and M. Gordon-Kiwkowitz, "On Teaching Visual Formalisms," in IEEE Software, vol. 26, no. , pp. 87-95, 2009.
92 ms
(Ver 3.3 (11022016))