On Teaching Visual Formalisms

  • Authors:
  • David Harel;Michal Gordon-Kiwkowitz

  • Affiliations:
  • Weizmann Institute of Science;Weizmann Institute of Science

  • Venue:
  • IEEE Software
  • Year:
  • 2009

Quantified Score

Hi-index 0.01

Visualization

Abstract

A graduate course on visual formalisms for reactive systems emphasized using such languages for not only specification and requirements but also (and predominantly) actual execution. The course presented two programming approaches: an intra-object approach using statecharts and an interobject approach using live sequence charts. Using each approach, students built a small system of their choice and then combined the two systems.