Supporting Resource-Based Analysis of Task Information Needs

1. Butterworth, R., Blandford, A., Duke, D., Young, R.M.: Formal user models and methods for reasoning about interactive behaviour. In: Siddiqi, J., Roast, C. (eds.) Formal Aspects of the Human-Computer Interaction, pp. 176–192. SHU Press (1998)

   Google Scholar 

2. Campos, J.C.: Using task knowledge to guide interactor specifications analysis. In: Jorge, J.A., Jardim Nunes, N., Falcão e Cunha, J. (eds.) DSV-IS 2003. LNCS, vol. 2844, pp. 171–186. Springer, Heidelberg (2003)

   Chapter  Google Scholar 

3. Campos, J.C., Harrison, M.D.: Model checking interactor specifications. Automated Software Engineering 8(3-4), 275–310 (2001)

   Article  MATH  Google Scholar 

4. Doherty, G.J., Campos, J.C., Harrison, M.D.: Representational reasoning and verification. Formal Aspects of Computing 12(4), 260–277 (2000)

   Article  MATH  Google Scholar 

5. Kieras, D., Meyer, D.E.: An overview of the EPIC architecture for cognition and performance with application to human-computer interaction. Human-Computer Interaction 12, 391–438 (1997)

   Article  Google Scholar 

6. Kirwan, B., Ainsworth, L.: A Guide to Task Analysis. Taylor & Francis, Abington (1992)

   Google Scholar 

7. Laird, J.E., Newell, A., Rosenbloom, P.S.: Soar: An architecture for general intelligence. Artificial Intelligence 33, 1–64 (1987)

   Article  Google Scholar 

8. Lewis, C., Polson, P., Wharton, C., Rieman, J.: Testing a walkthrough methodology for theory-based design of walk-up-and-use interfaces. In: CHI 1990 Proceedings, April 1990, pp. 235–242. ACM Press, New York (1990)

   Google Scholar 

9. Loer, K.: Model-based Automated Analysis for Dependable Interactive Systems. PhD thesis, Department of Computer Science, University of York (2003)

   Google Scholar 

10. Navarre, D., et al.: A tool suite for integrating task and system models through scenarios. In: Johnson, C. (ed.) DSV-IS 2001. LNCS, vol. 2220, pp. 88–113. Springer, Heidelberg (2001)

    Google Scholar 

11. Norman, D.E.: The Psychology of Everyday Things. Basic Book Inc. (1988)

    Google Scholar 

12. Paternò, F.: Model Based Design and Evaluation of Interactive Applications. In: Applied Computing. Springer, Berlin (1999)

    Google Scholar 

13. Paternò, F.D.: A Method for Formal Specification and Verification of Interactive Systems. PhD thesis, Department of Computer Science, University of York (1995)

    Google Scholar 

14. Rushby, J.: Using model checking to help discover mode confusions and other automation surprises. Reliability Engineering and System Safety 75(2), 167–177 (2002)

    Article  Google Scholar 

15. Wright, P.C., Fields, R.E., Harrison, M.D.: Analyzing human-computer interaction as distributed cognition: the resources model. Human Computer Interaction 15(1), 1–42 (2001)

    Article  Google Scholar 

Download references