Formal specification of user interfaces
ACM SIGCHI Bulletin
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
Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
A Tool Suite for Integrating Task and System Models through Scenarios
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
First steps in the retro-engineering of a GUI toolkit in the B language
IHM 2003 Proceedings of the 15th French-speaking conference on human-computer interaction on 15eme Conference Francophone sur l'Interaction Homme-Machine
An extension of UML for the modeling of WIMP user interfaces
Journal of Visual Languages and Computing
Formal validation of Java/Swing user interfaces with the event B method
HCI'07 Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability
On the benefit of synergistic model-based approach forsafety critical interactive system testing
TAMODIA'07 Proceedings of the 6th international conference on Task models and diagrams for user interface design
Beyond modelling: an integrated environment supporting co-execution of tasks and systems models
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
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
International Journal of Human-Computer Studies
A compositional model for gesture definition
HCSE'12 Proceedings of the 4th international conference on Human-Centered Software Engineering
Formal description of multi-touch interactions
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
Use case and task models: An integrated development methodology and its formal foundation
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Computational & Mathematical Organization Theory
| Hi-index | 0.00 |