Interaction walkthrough: Evaluation of safety critical interactive systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4323 LNCS, Issue , 2007, Pages 52-66

  Thimbleby, Harold ^a  

^a SWANSEA UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; INTERACTIVE COMPUTER SYSTEMS; QUALITY ASSURANCE; SAFETY ENGINEERING; USER INTERFACES;

EVALUATION METHOD; INTERACTION WALKTHROUGH;

HUMAN COMPUTER INTERACTION;

EID: 35448995170     PISSN: 03029743     EISSN: 16113349     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-69554-7_5     Document Type: Conference Paper

References (28)

1. J. Berstel, S. Crepsi Reghizzi, G. Roussel & P. San Pietro, "A scalable formal method for design and automatic checking of user interfaces," ACM Transactions on Software Engineering and Methodology, 14(2):123-167, 2005.
2. W-H. Chen, "Test Sequence Generation from the Protocol Data Portion Based on the Selecting Chinese Postman Problem," Information Processing Letters, 65(5):261-268, 1998.
3. B. G. Glaser & A. L. Strauss, The Discovery of Grounded Theory: Strategies for Qualitative Research, Chicago, 1967.
4. Graseby Medical Ltd., Graseby 3400 Syringe Pump: Instruction Manual, 2002.
5. W. D. Gray & M. C. Salzman, "Damaged merchandise? A review of experiments that compare usability evaluation methods," Human-Computer Interaction, 13(3):203-261, 1998.
6. W. D. Gray & M. C. Salzman, "Repairing damaged merchandise: A rejoinder," Human-Computer Interaction, 13(3):325-335, 1998.
7. Holmquist, L. E., "Prototyping: Generating ideas or cargo cult designs?" ACM Interactions, 12(2):48-54, 2005.
8. M. Y. Ivory & M. A. Hearst, "The state of the art in automating usability evaluation of user interfaces," ACM Computing Surveys, 33(4):470-516, 2001.
9. Loer, K. & Harrison, M., "Formal interactive systems analysis and usability inspection methods: Two incompatible worlds?, Proceedings of the Interactive Systems. Design, Specification and Verification. 7th International Workshop, DSV-IS 2000, Palanque, P. & Paternò, F. (eds) Lecture Notes in Computer Science, 1946, 169-190, Springer-Verlag 2001.
10. Loer, K. & Harrison, M., "Towards usable and relevant model checking techniques for the analysis of dependable interactive systems," Proceedings of the 17th IEEE International Conference on Automated Systems Engineering: ASE 2002, Emmerich, W. & Wile, D. (eds), 223-226, 2002.
11. R. Molich, M. R. Ede, K. Kaasgaard & B. Karyukin, "Comparative usability evaluation", Behaviour & Information Technology, 23(1):65-74, 2004.
12. J. Nielsen, Usability engineering, Academic Press, 1993.
13. J. Nielsen & T. K. Landauer, "A mathematical model of the finding of usability problems," ACM SIGCHI conference on Human factors in computing systems, 206-213, 1993.
14. Palanque, P. & Paternò, F., eds, Formal Methods in Human Computer Interaction, London, Springer-Verlag, 1997.
15. H. Petroski, To Engineer is Human: The Role of Failure in Successful Design, Vintage Books, 1992.
16. D. E. Rowley & D. G. Rhoades, "The Cognitive Jogthrough: A Fast-Paced User Interface Evaluation Procedure." ACM CHI'92 Proceedings, 389-395, 1992.
17. H. Thimbleby & I. H. Witten, "User Modelling as Machine Identification: New Design Methods for HCI," Advances in Human Computer Interaction, IV, D. Hix & H. R. Hartson, eds, 58-86, Ablex, 1993.
18. H. Thimbleby & with M. A. Addison, "Intelligent Adaptive Assistance and Its Automatic Generation," Interacting with Computers, 8(1):51-68, 1996.
19. H. Thimbleby, "Specification-led Design for Interface Simulation, Collecting Use-data, Interactive Help, Writing Manuals, Analysis, Comparing Alternative Designs, etc," Personal Technologies, 4(2):241-254, 1999.
20. H. Thimbleby, "Analysis and Simulation of User Interfaces," Human Computer Interaction 2000, BCS Conference on Human-Computer Interaction, S. McDonald, Y. Waern & G. Cockton, eds., XIV, 221-237, 2000.
21. H. Thimbleby, A. Blandford, P. Cairns, P. Curzon and M. Jones, "User Interface Design as Systems Design," Proceedings People and Computers, XVI, X. Faulkner, J. Finlay & F. Détienne, eds., 281-301, Springer, 2002.
22. H. Thimbleby, "The Directed Chinese Postman Problem," Software -Practice & Experience, 33(11):1081-1096, 2003.
23. H. Thimbleby, "Computer Algebra in User Interface Design Analysis," Proceedings BCS HCI Conference, 2, edited by A. Dearden and L. Watts, Research Press International, pp121-124, 2004.
24. H. Thimbleby, "User Interface Design with Matrix Algebra," ACM Transactions on Computer-Human Interaction, 11(2):181-236, 2004.
25. C. Wharton, J. Rieman, C. Lewis & P. Polson, "The Cognitive Walkthrough Method: A Practictioner's Guide," in J. Nielsen & R. L. Mack, eds, Usability Inspection Methods, John Wiley and Sons, 1994.
26. D. R. Wixon, "Evaluating usability methods: why the current literature fails the practitioner," Interactions, 10(4):28-34, 2003.
27. V. Venkatesh, M. G. Morris, G. B. Davis & F. D. Davis, "User acceptance of information technology: Toward a unified view," MIS Quarterly, 27(3):425-478, 2003.
28. P. C. Wright & A. F. Monk, "The use of think-aloud evaluation methods in design," ACM SIGCHI Bulletin, 23(1):55-57, 1991.