%0 Book Section %1 loepucl5138 %A Curzon, P. %A Blandford, A. %B Interactive Systems: Design, Specification and Verification %C Heidelberg %D 2002 %E Goos, G. %E Hartmanis, J. %E van Leeuwen, J. %I Springer Berlin %K imported %N 2545 %P 1--15 %T From a formal user model to design rules %U http://eprints.ucl.ac.uk/5138/ %X 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.

@incollection{loepucl5138, abstract = {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.}, added-at = {2008-10-24T14:29:07.000+0200}, address = {Heidelberg}, author = {Curzon, P. and Blandford, A.}, biburl = {https://www.bibsonomy.org/bibtex/258da44e8f7a23d1aea4763b09aeeffe6/uclic}, booktitle = {Interactive Systems: Design, Specification and Verification}, description = {UCLIC eprints as of October 2008}, editor = {Goos, G. and Hartmanis, J. and van Leeuwen, J.}, interhash = {ee345beae6f50a0bfe24ceaf44787db7}, intrahash = {58da44e8f7a23d1aea4763b09aeeffe6}, keywords = {imported}, note = {The original publication is available at www.springerlink.com}, number = 2545, pages = {1--15}, publisher = {Springer Berlin}, series = {Lecture Notes in Computer Science}, timestamp = {2008-10-24T14:29:08.000+0200}, title = {From a formal user model to design rules}, url = {http://eprints.ucl.ac.uk/5138/}, year = 2002 }