Detecting multiple classes of user errors

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2254, Issue , 2001, Pages 57-71

  Curzon, Paul ^a   Blandford, Ann ^a  

^a MIDDLESEX UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SYSTEMATIC ERRORS;

HIGHER ORDER LOGIC; INTERACTIVE SYSTEM; MULTIPLE CLASS; TEMPORAL RULES; USER MODELING;

HUMAN COMPUTER INTERACTION;

EID: 84937439778     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45348-2_9     Document Type: Conference Paper

References (12)

1. R. Butterworth, A. Blandford and D. Duke. Using formal models to explore display based usability issues. Journal of Visual Languages and Computing, 10:455-479, 1999..
2. M. Byrne and S. Bovair. A working memory model of a common procedural error. Cognitive Science, 21(1): 31-61, 1997..
3. F. Corella, Z. Zhou, X. Song, M. Langevin and E. Cerny. Multiway Decision Graphs for automated hardware verification. Formal Methods in System Design, 10(1): 7-46, 1997..
4. P. Curzon and A. Blandford. Using a verification system to reason about post-completion errors. Presented at Design, Specification and Verification of Interactive Systems 2000. Available from http://www.cs.mdx.ac.uk/puma/..
5. P. Curzon and A. Blandford. Reasoning about order errors in interaction. Supplementary Proceedings of the International Conference on Theorem Proving in Higher-order Logics, August 2000. Available from http://www.cs.mdx.ac.uk/puma/..
6. P. Curzon and I. Leslie. Improving hardware designs whilst simplifying their proof. Designing Correct Circuits, Workshops in Computing, Springer-Verlag 1996..
7. D.J. Duke, P.J. Barnard, D.A. Duce, and J. May. Syndetic modelling. Human-Computer Interaction, 13(4): 337-394, 1998..
8. M.J.C. Gordon and T.F. Melham. Introduction to HOL: a theorem proving environment for higher order logic. Cambridge University Press 1993..
9. W-O Lee. The effects of skills development and feedback on action slips. In Monk, Diaper, and Harrison, editors, People and Computers VII. CUP, 1992..
10. T.G. Moher and V. Dirda. Revising mental models to accommodate expectation failures in human-computer dialogues. In Design, Specification and Verification of Interactive Systems'95, pp 76-92. Wien: Springer, 1995..
11. F. Paterno' and M. Mezzanotte. Formal analysis of user and system interactions in the CERD case study. In Proceedings. of EHCI'95: IFIP Working Conference on Engineering for Human-Computer Interaction, pp 213-226. Chapman and Hall, 1995..
12. J. Reason. Human Error. Cambridge University Press, 1990..