Utilization of formal methods for the usability evaluation of interactive devices

被引：1
|
作者：
Hamacher, Nico [1 ]
Kraiss, Karl-Friedrich [1 ]
Marrenbach, Jörg [2 ]
机构：
[1] Lehrstuhl für Technische Informatik, RWTH Aachen, Ahornstr. 55, Aachen,D-52074, Germany
[2] AUDI AG, I/EE-54, Ingolstadt,D-85045, Germany
来源：
IT - Information Technology | 2002年 / 44卷 / 01期
关键词：
'current - Development process - Evaluation methods - Interactive system - Technical specifications - Usability evaluation - User Modelling;
D O I：
10.1524/itit.2002.44.1.049
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：49 / 55
相关论文
共 50 条
  • [1] Formal usability evaluation of interactive systems
    Hamacher, N
    Marrenbach, J
    Kraiss, KF
    [J]. ANALYSIS, DESIGN AND EVALUATION OF HUMAN-MACHINE SYSTEMS 2001, 2002, : 499 - 503
  • [2] Formal interactive systems analysis and usability inspection methods: Two incompatible worlds?
    Loer, K
    Harrison, M
    [J]. INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, 2001, 1946 : 169 - 190
  • [3] A Classification and Comparison of Usability Evaluation Methods for Interactive Adaptive Systems
    Dhouib, Amira
    Trabelsi, Abdelwaheb
    Kolski, Christophe
    Neji, Mahmoud
    [J]. 2016 9TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTIONS (HSI), 2016, : 246 - 251
  • [4] Combinations of Methods for Collaborative Evaluation of the Usability of Interactive Software Systems
    Solano, Andres
    Collazos, Cesar A.
    Rusu, Cristian
    Fardoun, Habib M.
    [J]. ADVANCES IN HUMAN-COMPUTER INTERACTION, 2016, 2016
  • [5] Towards formal measures of usability for visual interactive systems
    Bottoni, P
    Costabile, MF
    Levialdi, S
    Piccinno, A
    [J]. IEEE 2002 SYMPOSIA ON HUMAN CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2002, : 188 - 197
  • [6] A Framework for Supporting the Choice of Usability Evaluation Methods for Interactive Adaptive Systems
    Dhouib, Amira
    Neji, Mahmoud
    Trabelsi, Abdelwaheb
    Kolski, Christophe
    [J]. 2015 15TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS DESIGN AND APPLICATIONS (ISDA), 2015, : 289 - 294
  • [7] Evaluation of usability and accessibility of a set of interactive devices called Citizen Information Points
    Oliva, Marta
    Masip, Llucia
    Granollers, Toni
    [J]. SCIRE-REPRESENTACION Y ORGANIZACION DEL CONOCIMIENTO, 2010, 16 (01): : 35 - 46
  • [8] Formal methods for interactive systems
    Cerone, Antonio
    Curzon, Paul
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2008, 4 (02) : 123 - 123
  • [9] Development and Evaluation of a Formal-Analytical Usability Analysing Tool for Medical Devices and Systems
    Janss, A.
    Lauer, W.
    Radermacher, K.
    [J]. WORLD CONGRESS ON MEDICAL PHYSICS AND BIOMEDICAL ENGINEERING, VOL 25, PT 12, 2009, 25 (12): : 180 - 183
  • [10] Usability Profile for Graphical Formal Modelling Methods
    Razali, Rozilawati
    Garratt, Paul
    [J]. NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2009, 199 : 443 - 462
12345