Testing a walkthrough methodology for theory-based design of walk-up-and-use interfaces
CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Heuristic evaluation of user interfaces
CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
What is gained and lost when using evaluation methods other than empirical testing
HCI'92 Proceedings of the conference on People and computers VII
Model checking
Model Checking Interactor Specifications
Automated Software Engineering
Sharing Actions and Attributes in Modal Action Logic
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
User interface design with matrix algebra
ACM Transactions on Computer-Human Interaction (TOCHI)
Theory-based design for easily learned interfaces
Human-Computer Interaction
Damaged merchandise? a review of experiments that compare usability evaluation methods
Human-Computer Interaction
Supporting resource-based analysis of task information needs
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
Automatic critiques of interface modes
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
| Hi-index | 0.00 |
Although the take-up of formal approaches to modelling and reasoning about software has been slow, there has been recent interest and facility in the use of automated reasoning techniques such as model checking [5] on increasingly complex systems. In the case of interactive systems, formal methods can be particularly useful in reasoning about systems that involve complex interactions. These techniques for the analysis of interactive systems typically focus on the device and leave the context of use undocumented. In this paper we look at models that incorporate complexity explicitly, and discuss how they can be used in a formal setting. The paper is concerned particularly with the type of analysis that can be performed with them.