Automatic generation of task-oriented help
Proceedings of the 8th annual ACM symposium on User interface and software technology
Helping the automated validation process of user interfaces systems
Proceedings of the 20th international conference on Software engineering
Interactive System Safety and Usability Enforced with the Development Process
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
Detecting Multiple Classes of User Errors
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
An extension of UML for the modeling of WIMP user interfaces
Journal of Visual Languages and Computing
Verification of properties of human-computer dialogues with an infinite number of states
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
A design life-cycle for the formal design of user interfaces
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
| Hi-index | 0.00 |