AVI '94 Proceedings of the workshop on Advanced visual interfaces
From informal requirements to agent-based specification
ACM SIGCHI Bulletin
Abstract specification of user interfaces
CHI '95 Conference Companion on Human Factors in Computing Systems
Abstract specification of user interfaces
CHI '95 Conference Companion on Human Factors in Computing Systems
Helping the automated validation process of user interfaces systems
Proceedings of the 20th international conference on Software engineering
The Model-Composition Problem in User-Interface Generation
Automated Software Engineering
Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
HOPS: A Prototypical Specification Tool for Interactive Systems
Interactive Systems. Design, Specification, and Verification
Using temporal logic in the specification of reactive and interactive systems
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
| Hi-index | 0.02 |