Design rationale: the argument behind the artifact
Artifact as theory-nexus: hermeneutics meets theory-based design
A synthetic visual environment with hand gesturing and voice input
Synergistic use of direct manipulation and natural language
Statemaster: A UIMS based on statechart for prototyping and target implementation
Graphical specification of user interfaces with behavior abstraction