Detecting Multiple Classes of User Errors

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 speci c kinds to be detected by proving a single theorem about a device. We illustrate the approach using a simple case study.

• Type: Conference
• Year: 2001
• Where: EHCI
• Authors: Paul Curzon, Ann Blandford
• Keywords: EHCI 2001, EHCI 2004, Formal Reusable User, Systematic User Errors, User Errors