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.

[1]  Ran Lotenberg,et al.  Student projects in reactive and real-time systems course , 1998, Proceedings Real-Time Systems Education III.

[2]  David Harel,et al.  InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming , 2006, IEEE Transactions on Software Engineering.

[3]  Edward Rolf Tufte,et al.  The visual display of quantitative information , 1985 .

[4]  Mark R. Greenstreet,et al.  Hybrid Systems: Computation and Control , 2002, Lecture Notes in Computer Science.

[5]  W. A. Halang.  A curriculum for real-time computer and control systems engineering , 1990 .

[6]  Shmuel S. Tyszberowicz,et al.  Reactive and Real-Time Systems Course: How to Get the Most Out of it , 2003, Real-Time Systems.

[7]  Martin Große-Rhode.  Integration of Software Specification Techniques for Applications in Engineering , 2004, Lecture Notes in Computer Science.

[8]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[9]  Amir Pnueli,et al.  On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.

[10]  Myke Gluck,et al.  Visual Explanations: Images and Quantities, Evidence and Narrative , 1997, Inf. Process. Manag..

[11]  David Harel,et al.  Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[12]  Edward R. Tufte,et al.  Envisioning Information , 1990 .

[13]  David Harel,et al.  On visual formalisms , 1988, CACM.

[14]  Amir Pnueli,et al.  Hybrid Systems: Computation and Control , 2003, Lecture Notes in Computer Science.

[15]  Amir Pnueli,et al.  Formal Modeling of C. elegans Development: A Scenario-Based Approach , 2003, CMSB.

[16]  D. Harel,et al.  Toward rigorous comprehension of biological complexity: modeling, execution, and visualization of thymic T-cell maturation. , 2003, Genome research.

[17]  David Harel,et al.  The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version , 2004, SoftSpez Final Report.

[18]  David Harel,et al.  LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..

[19]  Krzysztof R. Apt,et al.  Logics and Models of Concurrent Systems , 1989, NATO ASI Series.

[20]  David Harel,et al.  Come, let's play - scenario-based programming using LSCs and the play-engine , 2003 .

[21]  David Harel,et al.  Reactive animation: realistic modeling of complex dynamic systems , 2005, Computer.

[22]  Dirk Frosch-Wilke.  Using UML in Software Requirements Analysis - Experiences from Practical Student Project Work , 2003 .

[23]  Edward R. Tufte,et al.  The Visual Display of Quantitative Information , 1986 .

[24]  Gregor Engels,et al.  Teaching UML Is Teaching Software Engineering Is Teaching Abstraction , 2005, ACM/IEEE International Conference on Model Driven Engineering Languages and Systems.

[25]  P. Fayers,et al.  The Visual Display of Quantitative Information , 1990 .

[26]  Bernhard Rumpe,et al.  Meaningful modeling: what's the semantics of "semantics"? , 2004, Computer.