A survey of three dialogue models
ACM Transactions on Graphics (TOG)
VUIMS: a visual user interface management system
UIST '90 Proceedings of the 3rd annual ACM SIGGRAPH symposium on User interface software and technology
Coupling a UI framework with automatic generation of context-sensitive animated help
UIST '90 Proceedings of the 3rd annual ACM SIGGRAPH symposium on User interface software and technology
XView programming manual
UIDE—an intelligent user interface design environment
Intelligent user interfaces
Defining Interfaces at a High Level of Abstraction
IEEE Software
Building user interfaces interactively using pre- and postconditions
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A second generation user interface design environment: the model and the runtime architecture
CHI '93 Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems
Generating user interfaces from data models and dialogue net specifications
CHI '93 Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems
The future of intelligent interfaces: not just “how?”, but “what?” and “why?”
IUI '93 Proceedings of the 1st international conference on Intelligent user interfaces
Knowledgeable development environments using shared design models
IUI '93 Proceedings of the 1st international conference on Intelligent user interfaces
Supporting adaptive interfaces in a knowledge-based user interface environment
IUI '93 Proceedings of the 1st international conference on Intelligent user interfaces
Automatic generation of textual, audio, and animated help in UIDE: the User Interface Design
AVI '94 Proceedings of the workshop on Advanced visual interfaces
Planning-based control of interface animation
CHI '95 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Knowledge-based support for the user-interface design process
ACM SIGCHI Bulletin
Crossroads - Special issue on human computer interaction
Formal Models for Informal GUI Designs
Electronic Notes in Theoretical Computer Science (ENTCS)
AIMHelp: generating help for GUI applications automatically
Proceedings of the 10th International Conference NZ Chapter of the ACM's Special Interest Group on Human-Computer Interaction
Helping programmers help users
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Dialogue graphs: a formal and visual specification technique for dialogue modelling
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
| Hi-index | 0.00 |
We have augmented user interface objects (i.e. windows, menus, buttons, sliders, ets.) with preconditions that determine their visibility and their enabled/disabled status and postconditions that are asserted when certain actions are performed on the object. Postconditions are associated with each functionally different action on the object. Attaching pre- and postconditions to interface objects provides several useful features, such as selective enabling of controls, rapid prototyping, and automatic generation of explanations and help text.