Detecting Multiple Classes of User Errors (2001)
by
Paul Curzon
,
Ann Blandford
| Venue: | Proc. EHCI 2001, vol. 2254 of LNCS |
| Citations: | 10 - 7 self |
BibTeX
@INPROCEEDINGS{Curzon01detectingmultiple,
author = {Paul Curzon and Ann Blandford},
title = {Detecting Multiple Classes of User Errors},
booktitle = {Proc. EHCI 2001, vol. 2254 of LNCS},
year = {2001},
pages = {57--71},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higher-order 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 by proving a single theorem about a device. We illustrate the approach using a simple case study.
