The use of think-aloud evaluation methods in design
ACM SIGCHI Bulletin
The cognitive jogthrough: a fast-paced user interface evaluation procedure
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A mathematical model of the finding of usability problems
CHI '93 Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems
The cognitive walkthrough method: a practitioner's guide
Usability inspection methods
Information Processing Letters
The state of the art in automating usability evaluation of user interfaces
ACM Computing Surveys (CSUR)
Usability Engineering
Formal Methods in Human-Computer Interaction
Formal Methods in Human-Computer Interaction
Proceedings of the 17th IEEE international conference on Automated software engineering
Evaluating usability methods: why the current literature fails the practitioner
interactions - The digital muse: HCI in support of creativity
Comparative usability evaluation
Behaviour & Information Technology
User interface design with matrix algebra
ACM Transactions on Computer-Human Interaction (TOCHI)
Prototyping: generating ideas or cargo cult designs?
interactions - Robots!
A scalable formal method for design and automatic checking of user interfaces
ACM Transactions on Software Engineering and Methodology (TOSEM)
Damaged merchandise? a review of experiments that compare usability evaluation methods
Human-Computer Interaction
Repairing damaged merchandise: a rejoinder
Human-Computer Interaction
Formal interactive systems analysis and usability inspection methods: two incompatible worlds?
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
FEATURE: Ignorance of interaction programming is killing people
interactions - We must redesign professional design education for the 21st century
Social network analysis and interactive device design analysis
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
User-centered methods are insufficient for safety critical systems
USAB'07 Proceedings of the 3rd Human-computer interaction and usability engineering of the Austrian computer society conference on HCI and usability for medicine and health care
Human computer interaction and medical devices
BCS '10 Proceedings of the 24th BCS Interaction Specialist Group Conference
Usability evaluation of digital dictation procedure - an interaction analysis approach
USAB'11 Proceedings of the 7th conference on Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society: information Quality in e-Health
Differential formal analysis: evaluating safer 5-key number entry user interface designs
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
Safer "5-key" number entry user interfaces using differential formal analysis
BCS-HCI '12 Proceedings of the 26th Annual BCS Interaction Specialist Group Conference on People and Computers
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
| Hi-index | 0.01 |
Usability evaluation methods are a battery of techniques for assessing the usability of interactive systems or of proposed interactive systems. This paper describes a new evaluation method, particularly appropriate for evaluating safety critical and high quality user interfaces. The method can also be used for informing HCI research. The method is applied when a specification is available of an interactive system, or when a system (or prototype) is working.