Curzon, P and Blandford, A (2001) Detecting multiple classes of user errors. In: Engineering for Human-Computer Interaction. (57 - 71). Springer Berlin: Heidelberg.
![[img]](/style/images/fileicons/application_pdf.png)
| PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 193Kb |
Abstract
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.
| Type: | Book chapter |
|---|---|
| Title: | Detecting multiple classes of user errors |
| ISBN-13: | 978-3-540-43044-5 |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1007/3-540-45348-2_9 |
| 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 itemArchive Staff Only: edit this record