The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Model checking
Model Checking Interactor Specifications
Automated Software Engineering
UML Distilled: A Brief Guide to the Standard Object Modeling Language
UML Distilled: A Brief Guide to the Standard Object Modeling Language
Taming HAL: Designing Interfaces Beyond 2001
Taming HAL: Designing Interfaces Beyond 2001
Automated Software Engineering
Press On: Principles of Interaction Programming
Press On: Principles of Interaction Programming
Exploring an Option Space to Engineer a Ubiquitous Computing System
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic critiques of interface modes
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
Learning system abstractions for human operators
Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering
A coordination model for interactive components
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Formal analysis of ubiquitous computing environments through the APEX framework
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
International Journal of Human-Computer Studies
Mapping study about usability requirements elicitation
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Computational & Mathematical Organization Theory
Analysing interactive devices based on information resource constraints
International Journal of Human-Computer Studies
Hi-index | 0.00 |
The paper explores the role that formal modeling may play in aiding the visualization and implementation of usability requirements of a control panel. We propose that this form of analysis should become a systematic and routine aspect of the development of such interfaces. We use a notation for describing the interface that is convenient to use by software engineers, and describe a set of tools designed to make the process systematic and exhaustive.