AVI '94 Proceedings of the workshop on Advanced visual interfaces
Integrating status and event phenomena in formal specifications of interactive systems
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
A formal approach to the evaluation of interactive systems
ACM SIGCHI Bulletin
Including time in the notion of interactor
ACM SIGCHI Bulletin
Helping the automated validation process of user interfaces systems
Proceedings of the 20th international conference on Software engineering
A scalable formal method for design and automatic checking of user interfaces
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
The Model-Composition Problem in User-Interface Generation
Automated 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
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
Synthétiser I'intention d'un pilote pour Définir de nou-veaux équipements de bord
IHM '02 Proceedings of the 14th French-speaking conference on Human-computer interaction (Conférence Francophone sur l'Interaction Homme-Machine)
A scalable formal method for design and automatic checking of user interfaces
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal Testing of Multimodal Interactive Systems
Engineering Interactive Systems
Integrating model checking and HCI tools to help designers verify user interface properties
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Automatically testing interactive multimodal systems using task trees and fusion models
Proceedings of the 6th International Workshop on Automation of Software Test
On the composition of interactor specifications
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Hi-index | 0.00 |