Detecting multiple classes of user errors

18Citations
Citations of this article
12Readers
Mendeley users who have this article in their library.

This article is free to access.

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.

Cite

CITATION STYLE

APA

Curzon, P., & Blandford, A. (2001). Detecting multiple classes of user errors. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2254, pp. 57–71). Springer Verlag. https://doi.org/10.1007/3-540-45348-2_9

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free