Title :
On Teaching Visual Formalisms
Author :
Harel, David ; Gordon-Kiwkowitz, Michal
Author_Institution :
Weizmann Inst. of Sci., Rehovot
Abstract :
In the spring semester of the 2004-2005 academic year at the Weizmann Institute of Science, coauthor David Harel delivered the graduate course Executable Visual Languages for System Development. It is a course on visual formalisms for reactive systems emphasized using such languages for not only specification and requirements but also (and predominantly) actual execution.
Keywords :
computer science education; educational courses; formal specification; object-oriented programming; teaching; visual languages; Executable Visual Languages for System Development; Weizmann Institute of Science; formal specification; graduate course; interobject approach; intraobject approach; reactive systems; system requirements; teaching; visual formalism; Dynamic scheduling; Education; Nominations and elections; Programming environments; Programming profession; Software tools; Springs; live sequence charts; reactive systems; statecharts; visual formalisms;
Journal_Title :
Software, IEEE
