On Teaching Visual Formalisms

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.