On Teaching Visual Formalisms
David Harel, Michal Gordon-Kiwkowitz · IEEE Software · 2009
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.