DocumentCode :
1751919
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
fYear :
2001
fDate :
2001
Firstpage :
40
Lastpage :
47
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering Conference, 2001. Proceedings. 2001 Australian
Conference_Location :
Canberra, ACT
ISSN :
1530-0803
Print_ISBN :
0-7695-1254-2
Type :
conf
DOI :
10.1109/ASWEC.2001.948496
Filename :
948496
Link To Document :
بازگشت