From a formal user model to design rules

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

Volumn 2545, Issue , 2002, Pages 1-15

  Curzon, Paul ^a   Blandford, Ann ^b  

^a MIDDLESEX UNIVERSITY   (United Kingdom)

^b UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN; SPECIFICATIONS;

COGNITIVE PSYCHOLOGY; DESIGN PRINCIPLES; ERROR PATTERNS; FORMAL DESCRIPTION; FORMAL REASONING; USABILITY STUDIES; USER BEHAVIOUR; USER MODELING;

BEHAVIORAL RESEARCH;

EID: 83755225296     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36235-5_1     Document Type: Conference Paper

References (16)

1. A.E. Blandford, P.J. Barnard and M.D. Harrison. Using Interaction Framework to guide the design of interactive systems. International Journal of Human Computer Studies, 43:101-130, Academic Press 1995.
2. A. Blandford, R. Butterworth and P. Curzon, Puma Footprints: Linking Theory and Craft Skill in Usability Evaluation. Proc. Interact 2001, pp 577-584, IOS 2001.
3. A. Blandford and R. Young, The role of communication goals in interaction. In Adjunct Proceedings of HCI’98, 1998.
4. R. Butterworth, A. Blandford and D. Duke. Using formal models to explore display based usability issues. J. of Visual Languages and Computing, 10:455–479, 1999.
5. R. Butterworth, A. Blandford and D. Duke. Demonstrating the cognitive plausibility of interactive system specifications, FACS, 12:237–259 2000.
6. M. Byrne and S. Bovair. A working memory model of a common procedural error. Cognitive Science, 21 (1):31–61, 1997.
7. P. Curzon and A. Blandford, Detecting Multiple Classes of User Errors, Eng. for Human-Computer Interaction, M. Little and L. Nigay (Eds) pp 57–71, LNCS 2254, Springer 2001.
8. P. Curzon and A. Blandford, A User Model for Avoiding Design Induced Errors in Soft-Key Interactive Systems, TPHOLs 2001: Supplementary Procs., R.J. Bolton and P.B. Jackson (eds), U. of Edinburgh, ED-INF-RR-0046, pp 33–48, 2001.
9. R.E. Fields. Analysis of erroneous actions in the design of critical systems. PhD Thesis. U. of York, Dept. of Computer Science, Tech. Report YCST 2001/09. 2001.
10. M.J.C. Gordon and T.F. Melham. Introduction to HOL: A Theorem Proving Environment for Higher-Order Logic. Cambridge University Press, U.K., 1993.
11. E. Hollnagel. Cognitive Reliability & Error Analysis Method. Elsevier 1998.
12. A. Newell. Unified Theories of Cognition. Harvard University Press, 1990.
13. D.A. Norman. The Design of Everyday Things. MIT Press 1998.
14. C.R. Roast. Modelling Unwanted Commitment in Information Artifacts, S. Chatty and P. Dewan (eds) Eng. for Human-Computer Interaction, pp 77–90, Kluwer, 1998.
15. H. Thimbleby. Permissive User Interfaces, International Journal of Human-Computer Studies, (54)3:333–350, 2001.
16. H. Thimbleby, A. Blandford, P. Cairns, P. Curzon and M. Jones. User Interface Design as Systems Design. To appear in the Proceedings of HCI 2002, Sept. 2002.