UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

From a formal user model to design rules

Curzon, P; Blandford, A; (2002) From a formal user model to design rules. In: Goos, G and Hartmanis, J and van Leeuwen, J, (eds.) Interactive Systems: Design, Specification and Verification. (1 - 15). Springer Berlin: Heidelberg. Green open access

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


Design rules sometimes seem to contradict. We examine how a formal description of user behaviour can help explain the context when such rules are, or are not, applicable. We describe how they can be justified from a formally specified generic user model. This model was developed by formalising cognitively plausible behaviour, based on results from cognitive psychology. We examine how various classes of erroneous actions emerge from the underlying model. Our lightweight semi-formal reasoning from the user model makes predictions that could be used as the basis for further usability studies. Although the user model is very simple, a range of error patterns and design principles emerge.

Type:Book chapter
Title:From a formal user model to design rules
Open access status:An open access version is available from UCL Discovery
Additional information:Imported via OAI, 7:29:01 6th Mar 2008
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

View download statistics for this item

Archive Staff Only: edit this record