Transformations on a formal specification of user-computer interfaces
ACM SIGGRAPH Computer Graphics
The case against user interface consistency
Communications of the ACM
A second generation user interface design environment: The model and the runtime architecture
INTERCHI '93 Proceedings of the INTERCHI '93 conference on Human factors in computing systems
A selective undo mechanism for graphical user interfaces based on command objects
ACM Transactions on Computer-Human Interaction (TOCHI)
ACM Transactions on Computer-Human Interaction (TOCHI)
An approach to support automatic generation of user interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reusable hierarchical command objects
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
User Interface Management Systems: Models and Algorithms
User Interface Management Systems: Models and Algorithms
ECCOP '96 Proceedings of the 10th European Conference on Object-Oriented Programming
ICrafter: A Service Framework for Ubiquitous Computing Environments
UbiComp '01 Proceedings of the 3rd international conference on Ubiquitous Computing
UNIFORM: automatically generating consistent remote control user interfaces
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A demonstration of the flexibility of widget generation
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Specifying and implementing UI data bindings with active operations
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Specifying and running rich graphical components with Loa
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
Hi-index | 0.00 |
The apparent tradeoff between user-interface automation and abstraction and user-interface flexibility can be overcome using two key ideas. (1) It is possible to automate several common aspects of a user-interface without controlling its appearance. (2) By following well established programming principles, developers can provide user-interface tools with information needed for such automation. These ideas are used in a new approach that assumes that programmers (a) encapsulate the semantics of interactive applications in model objects, (b) use consistent ways to relate signatures of related methods, (c) define method preconditions, and (d) use annotations for documentation. It uses these principles to automate (a) binding of input events to synchronous and asynchronous invocation of model methods, (b) syntactic and semantic validation of user input, (c) binding of model state to display state, (c) undo/redo, and (d) dynamic enabling/disabling of display components. The result is an approach for increasing the automation of UI toolkits without reducing their abstraction and user-interface flexibility