Statecharts in the making: a personal account

How avionics work led to a graphical language for reactive systems where the diagrams themselves define the system's behavior.

[1]  David Harel,et al.  Four-dimensional realistic modeling of pancreatic organogenesis , 2008, Proceedings of the National Academy of Sciences.

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

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

[4]  David Harel,et al.  Executable object modeling with statecharts , 1997, Computer.

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

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

[7]  Amnon Naamad,et al.  Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.

[8]  David Harel,et al.  Modeling Reactive Systems With Statecharts : The Statemate Approach , 1998 .

[9]  David Harel,et al.  And/Or Programs: A New Approach to Structured Programming , 1980, TOPL.

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

[11]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

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

[13]  David Harel.  Can Programming Be Liberated, Period? , 2008, Computer.

[14]  Doron Drusinsky,et al.  On the power of bounded concurrency I: finite automata , 1994, JACM.

[15]  David Harel,et al.  Statecharts in the making: a personal account , 2007, CACM.

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

[17]  Carlo Rossi.  The synchronous languages 12 years later , 2011 .

[18]  David Lorge Parnas,et al.  Software Requirements for the A-7E Aircraft. , 1992 .

[19]  Michael von der Beeck,et al.  A Comparison of Statecharts Variants , 1994, FTRTFT.

[20]  David Harel,et al.  Can Programming Be Liberated , 2008 .

[21]  Amir Pnueli,et al.  On the Formal Semantics of Statecharts (Extended Abstract) , 1987, LICS.