A novel paradigm for programming reactive systems centered on naturally specified modular behavior.
David Harel
Author Archives
Exploring the connection of biology with reactive systems to better understand living systems.
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.
The higraph, a general kind of diagramming object, forms a visual formalism of topological nature. Higraphs are suited for a wide array of applications to databases,…
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved