The Human-or-Machine Issue: Turing-Inspired Reflections on an Everyday Matter
Determining whether we're interacting with a machine or with another human is likely to become a central question in our everyday lives.
David Harel
Advertisement
Author Archives
A novel paradigm for programming reactive systems centered on naturally specified modular behavior.
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, knowledge representation, and, most notably, the behavioral specification of complex concurrent systems using the higraph-based language of statecharts.
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