Pushdown automata for user interface management
ACM Transactions on Graphics (TOG)
ACM Transactions on Graphics (TOG)
Using formal specifications in the design of a human-computer interface
Communications of the ACM
ACM SIGGRAPH Computer Graphics
A formal technique for automated dialogue development
Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
Automated verification of temporal dialogue properties
ACM SIGCHI Bulletin
KAP—a prototyper for technical device interfaces
Conference Companion on Human Factors in Computing Systems
Wizard: non-wimp oriented prototyping of direct manipulative behavior
CHI '94 Conference Companion on Human Factors in Computing Systems
Designing user-adapted interfaces: the unified design method for transformable interactions
DIS '97 Proceedings of the 2nd conference on Designing interactive systems: processes, practices, methods, and techniques
The Ignatius Environment: Supporting the Design and Development of Expert-System User Interfaces
IEEE Expert: Intelligent Systems and Their Applications
SwingStates: adding state machines to the swing toolkit
UIST '06 Proceedings of the 19th annual ACM symposium on User interface software and technology
Algorithms for automatic dialogue analysis using propositional production systems
Human-Computer Interaction
Monte carlo methods for managing interactive state, action and feedback under uncertainty
Proceedings of the 24th annual ACM symposium on User interface software and technology
| Hi-index | 0.00 |
The Propositional Production System (PPS) for describing interactive dialogs is defined. It is shown to be a superset of state machines, window event translation tables and event response systems. It is shown how dialogs can be expanded by means of inheritance and how semantic control information can be uniformly integrated into the dialog model. Optimizations are defined which can tune the executable machine for either minimal space or minimal execution time.