You are here: Home :: Area NEM :: Computer science

Nico Hamacher, Karl-Friedrich Kraiss, Jörg Marrenbach

Utilization of Formal Methods for the Usability Evaluation of Interactive Devices

Usability is an important attribute of interactive systems. It can only be examined empirically as soon as a functioning prototype is available. Since the development process is continuously accelerating, empirical results often come too late and cannot be used in the current process. In this contribution a formal evaluation method using normative user models is presented as an alternative. It allows an evaluation based on technical specifications. The tool TREVIS is introduced, which generates normative user models semi-automatically from such specifications, and additionally provides various options for data analysis.

it – Information Technology (vormals it+ti), Oldenbourg Wissenschaftsverlag

Print ISSN: 1611-2776
Volume: 44, 01/2002
Pages: 049

Show full article (external site)

Show all available items of this journal

 

Area NEM