Issue No.03 - May/June (2009 vol.26)
David Harel , Weizmann Institute of Science
Michal Gordon-Kiwkowitz , Weizmann Institute of Science
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MS.2009.76
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
David Harel, Michal Gordon-Kiwkowitz, "On Teaching Visual Formalisms", IEEE Software, vol.26, no. 3, pp. 87-95, May/June 2009, doi:10.1109/MS.2009.76