Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Cognitive walkthroughs: a method for theory-based evaluation of user interfaces
International Journal of Man-Machine Studies
Finding usability problems through heuristic evaluation
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Model Checking Interactor Specifications
Automated Software Engineering
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
A scalable formal method for design and automatic checking of user interfaces
ACM Transactions on Software Engineering and Methodology (TOSEM)
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
Automated Software Engineering
Authoring pervasive multimodal user interfaces
International Journal of Web Engineering and Technology
Damaged merchandise? a review of experiments that compare usability evaluation methods
Human-Computer Interaction
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
Buffer automata: a UI architecture prioritising HCI concerns for interactive devices
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
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
Computational & Mathematical Organization Theory
Analysing interactive devices based on information resource constraints
International Journal of Human-Computer Studies
Hi-index | 0.00 |
This paper is concerned with support for the process of usability engineering. The aim is to use formal techniques to provide a systematic approach that is more traceable, and because it is systematic, repeatable. As a result of this systematic process some of the more subjective aspects of the analysis can be removed. The technique explores exhaustively those features of a specific design that fail to satisfy a set of properties. It also analyzes those aspects of the design where it is possible to quantify the cost of use. The method is illustrated using the example of a medical device. While many aspects of the approach and its tool support have already been discussed elsewhere, this paper builds on and contrasts an analysis of the same device provided by a third party and in so doing enhances the IVY tool.