Title :
Assessing usability from formal user-interface designs
Author :
Hussey, Andrew ; MacColl, Ian ; Carrington, David
Author_Institution :
Dept. of Comput. Sci. & Electr. Eng., Queensland Univ., Brisbane, Qld., Australia
Abstract :
The authors demonstrate the usability analysis of Object-Z user-interface designs. Usability can be defined in terms of five salient properties of an interactive system: task efficiency, reuse, user-computer communication, robustness and flexibility Formal user interface designs have been advocated as a basis for determining the usability of an interactive system prior to the expense of system development. However, to date, a comprehensive demonstration of the utility of formal designs for this purpose has not been forthcoming. We investigate the limitations of model-based methods, such as Object-Z as a basis for analysis of user interface designs
Keywords :
formal specification; interactive systems; object-oriented languages; specification languages; user interfaces; Object-Z user interface designs; formal designs; formal user interface designs; interactive system; system development; system reuse; task efficiency; usability analysis; usability assessment; user interface design analysis; user-computer communication; Computer errors; Computer science; Guidelines; Human factors; Interactive systems; Object oriented modeling; Production; Robustness; Safety; Usability;
Conference_Titel :
Software Engineering Conference, 2001. Proceedings. 2001 Australian
Conference_Location :
Canberra, ACT
Print_ISBN :
0-7695-1254-2
DOI :
10.1109/ASWEC.2001.948496