Curzon, P and Blandford, A (2001) Detecting multiple classes of user errors. In: Engineering for Human-Computer Interaction. (57 - 71). Springer Berlin: Heidelberg.
|PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader|
Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higherorder logic that can be used for machine-assisted reasoning about user errors. The core of this model is a series of non-deterministic guarded temporal rules. We consider how this approach allows errors of various specific kinds to be detected and so avoided by proving a single theorem about an interactive system. We illustrate the approach using a simple case study.
|Title:||Detecting multiple classes of user errors|
|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
Activity - last month
Activity - last 12 months
Archive Staff Only: edit this record