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
ABSTRACT
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.
INDEX TERMS
visual formalisms, statecharts, reactive systems, live sequence charts
CITATION
David Harel, Michal Gordon-Kiwkowitz, "On Teaching Visual Formalisms", IEEE Software, vol. 26, no. , pp. 87-95, May/June 2009, doi:10.1109/MS.2009.76
98 ms
(Ver )