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
Software engineering (4th ed.)
Software engineering (4th ed.)
Extracting usability information from user interface events
ACM Computing Surveys (CSUR)
GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing
WCRE '03 Proceedings of the 10th Working Conference on Reverse Engineering
Human-Computer Interaction (3rd Edition)
Human-Computer Interaction (3rd Edition)
Refinement for User Interface Designs
Electronic Notes in Theoretical Computer Science (ENTCS)
Using formal models to design user interfaces: a case study
BCS-HCI '07 Proceedings of the 21st British HCI Group Annual Conference on People and Computers: HCI...but not as we know it - Volume 1
Including design guidelines in the formal specification of interfaces in z
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
UI-driven test-first development of interactive systems
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
UI-design driven model-based testing
Innovations in Systems and Software Engineering
Hi-index | 0.00 |
Developing usability studies to evaluate software is a task requiring a wide variety of skills. For software developers who are not used to taking a user-centred approach to development it is often easier and more convenient to dismiss the use of user evaluation as too time-consuming or too hard. This is even more likely to be the case for developers who take a formal approach to software development, which is generally not focused on interface or usability concerns. In this paper we present an early investigation into the use of formal models of user interface designs as the basis for designing software evaluation studies. We have undertaken a comparison study to find out whether a useful study can be derived in this way and whether or not further investigation into this is worthwhile, and we present the results here.