DocumentCode
1240226
Title
On Teaching Visual Formalisms
Author
Harel, David ; Gordon-Kiwkowitz, Michal
Author_Institution
Weizmann Inst. of Sci., Rehovot
Volume
26
Issue
3
fYear
2009
Firstpage
87
Lastpage
95
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;
fLanguage
English
Journal_Title
Software, IEEE
Publisher
ieee
ISSN
0740-7459
Type
jour
DOI
10.1109/MS.2009.76
Filename
4814966
Link To Document