Utilization of formal methods for the usability evaluation of interactive devices;Einsatz formaler Methoden zur Evaluierung der Gebrauchsfähigkeit interaktiver Geräte

IT - Information Technology

Volumn 44, Issue 1, 2002, Pages 49-55

  Hamacher, Nico ^a   Kraiss, Karl Friedrich ^a   Marrenbach, Jörg ^b  

^a RWTH AACHEN UNIVERSITY   (Germany)

^b AUDI AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

'CURRENT; DEVELOPMENT PROCESS; EVALUATION METHODS; INTERACTIVE SYSTEM; TECHNICAL SPECIFICATIONS; USABILITY EVALUATION; USER MODELLING;

SPECIFICATIONS;

EID: 4644353218     PISSN: 16112776     EISSN: 21967032     Source Type: Journal    
DOI: 10.1524/itit.2002.44.1.049     Document Type: Article

References (20)

1. Anderson, J. R.: Language, memory, and thought. Hillsdale, NJ USA: Lawrence Erlbaum Associates 1976.
2. Beard, D.; Entrikin, S.; Conroy, P.; Wingert, N.; Schou, C.; Smith, D.; Denelsbeck, K.: Quick GOMS: A visual software engineering tool for simple rapid time-motion modeling. In: ACM Interactions 4[3] (1997) S. 31-36.
3. Card, S. K.; Moran, T. P.; Newell, A.: The psychology of human-computer interaction. Hillsdale, NJ USA: Lawrance Erlbaum Associates 1983
4. Gray, W. D.; Boehm-Davis, D.; John, B. E.; Kieras, D. E.: Cognitive analysis of dynamic performance: Cognitive process analysis and modeling. Department of Psychology at George Mason University 1999.
5. Hamacher, N.: Entwicklung und Implementierung eines Werkzeugs zur Bewertung interaktiver Systeme basierend auf normativen Benutzermodellen. Diplomarbeit. Lehrstuhl für Technische Informatik, RWTH Aachen 2000.
6. Harel, D.; Sintzoff, M.: Statecharts: A visual formalism for complex systems. In: Science of Computer Programming. Amsterdam: North-Holland (1987) S. 231 - 274.
7. Hogrefe, D.: Estelle, LOTOS und SDL. Berlin: Springer Verlag 1989.
8. Hudson, S.; John, B. E.; Knudsen, K.; Byrne, M.: A tool for creating predictive performance models from user interface demonstrations. In: Proceedings of 12th annual ACM Symposium on User Interface Software and Technology. New York, USA: ACM Press (1999) S. 93-102.
9. ISO 9241: Ergonomische Anforderungen für Bürotätigkeiten mit Bildschirmgeräten - Teil 1-17. Deutsches Institut für Normung 1999.
10. Jones, T. O.; Sasser, W.: Why satisfied customers defect? In: Harvard Business Report 4[1] (1995) S. 88-99.
11. Kieras, D. E.: A guide to GOMS model usability evaluation using GOMSL and GLEAN3. Electrical Engineering and Computer Science Department, University of Michigan, 1999.
12. Kraiss, K.-F.: Modellierung von Mensch-Maschine Systemen. In: Willumeit H.-P. (Eds.): Verläßlichkeit von Mensch-Maschine Systemen. ZMMS-Spektrum (1995) S. 15-35.
13. Laird, J. E.; Rosenbloom, P.; Newell, A.: SOAR: An architecture for general intelligence. In: Artificial Intelligence 33 (1987) S. 1-64.
14. Marrenbach, J.: Werkzeug-basierte Evaluierung der Benutzungsfreundlichkeit interaktiver Endgeräte mit normativen Benutzermodellen. Dissertation. Aachen: Shaker Verlag 2001.
15. Martin, J.; Odell, J. J.: Objektorientierte Modellierung mit UML. München: Prentice Hall 1999.
16. Nirschl, G.: Werkzeug zur Gestaltung und Bewertung von Mensch-Maschine-Dialogen im Kraftfahrzeug. In: VDI-Gesellschaft Fahrzeugtechnik - Elektronik im Kraftfahrzeug. Düsseldorf: VDI-Verlag GmbH (1990) S. 19-35.
17. Wandmacher, J.: Ein Werkzeug für GOMS-Analysen zur Simulation und Bewertung von Prototypen beim Entwurf. In: G. Szwillus: Prototypen für Benutzungsschnittstellen - Grundlagen, Techniken, Erfahrungen. Paderborn (1997) S. 35-42.
18. http://www.esim.com
19. http://www.altia.com
20. http://www.virtualprototypes.ca