Towards a theory of interface-based design of hierarchical reactive systems.

Herbert Prähofer

Published in: SpringSim (TMS-DEVS) (2013)

Keyphrases

user interface
reactive systems
formal methods
conceptual framework
knowledge based systems
building blocks
interface design
human computer interface
direct manipulation