Demonstrating the cognitive plausibility of interactive system specifications

Formal Aspects of Computing

Volumn 12, Issue 4, 2000, Pages 237-259

  Butterworth, Richard ^a   Blandford, Ann ^a   Duke, David ^b  

^a MIDDLESEX UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Cognitive plausibility; Electronic diary systems; Formal modelling; Human computer interaction (HCI); Interactive systems; Programmable user modelling (PUM)

Indexed keywords

EID: 0042727700     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650070021     Document Type: Article

References (36)

1. Anderson, J.: The Architecture of Cognition. Cognitive Science. Harvard University Press, 1983.
2. Bumbulis, P., Alencar, P., Cowan, D. and Lucena, C.: Combining formal techniques and prototyping in user interface construction and verification. In P. Palanque and R. Bastide, editors, Proceedings of Design, Specification and Verification of Interactive Systems '95, pages 174-192. Eurographics, Springer Verlag, 1995.
3. Barnard, P. J.: Interacting Cognitive Subsystems: A psycholinguistic approach to short term memory. In Ellis A., editor, Progress in the Psychology of Language, volume 2, chapter 6, pages 197-258. Lawrence Erlbaum Associates, London, 1985.
4. Byrne, M. D. and Bovair, S.: A working memory model of a common procedural error. Cognitive Science, 21(1):31-61, 1997.
5. Butterworth, R. and Blandford, A.: The principle of rationality and models of highly interactive systems. In M. A. Sasse and C. Johnson, editors. Human-Computer Interaction - INTERACT '99, pages 417-425. IOS Press, 1999.
6. Butterworth, R. and Blandford, A.: The roles played by models of interactive systems. Submitted for journal publication. It is available as PUMA working paper WP23. See the world wide web pages at www.cs.mdx.ac.uk/puma, 1999.
7. Butterworth, R., Blandford, A. and Duke, D.: The role of formal proof in modelling interactive behaviour. In Markopoulos and Johnson [MaJ98], pages 87-101.
8. Butterworth, R., Blandford, A., Duke, D. and Young, R.: Formal user models and methods for reasoning about interactive behaviour. In J. Siddiqi and C. Roast, editors, Formal Aspects of the Human-Computer Interaction, pages 176-192, 1998.
9. Blandford, A., Butterworth, R. and Good, J.: Users as rational interacting agents: formalising assumptions about cognition and interaction. In Harrison and Torres [HaT97], pages 43-60.
10. Banach, R. and Poppleton, M.: Retrenchment: An engineering variation on refinement. In Bert, editor, Proceedings of B-98, pages 129-147. Springer, 1998. LNCS 1393. Also: UMCS Tech. Rep. UMCS-99-3-2, see www.cs.man.ac.uk/cstechrep.
11. Blandford, A. and Young, R. M.: Separating user and device descriptions for modelling interactive problem solving. In K. Nordby, P. Helmersen, D. Gilmore, and S. Arnesen, editors, Human-Computer Interaction - INTERACT'95, pages 91-96. Chapman and Hall, 1995.
12. Card, S., Moran, T. and Newell, A.: The Psychology of Human-Computer Interaction. Lawrence Erlbaum Associates, 1983.
13. Duke, D. J., Barnard, P. J., Duce, D. A. and May, J.: Syndetic modelling. Human-Computer Interaction, 13(4):337-393, 1998.
14. de Barros, R. S. M. and Harper, D. J.: A method for the specification of relational database applications. In J. Nicholls, editor, Proceedings of Z User Workshop, pages 261-286. Springer, 1991.
15. Duke, D. and Harrison, M.: Abstract interaction objects. Computer Graphics Forum, 12(3):25-36, 1993.
16. Dijkstra, E.: A Discipline of Programming. Prentice Hall, 1976.
17. Dix, A.: Formal Methods for Interactive Systems. Computers and People Series. Academic Press, 1991.
18. Good, J. and Blandford, A.: Incorporating human factors concerns into the design and safety engineering of complex control systems. In J. Noyes and J. Bransby, editors. People in Control: An International Conference on Human Interfaces in Control Rooms, Cockpits and Command Centres, pages 51-56, 1999. IEE Conference Publication Number 463.
19. Hall, A.: Using Z as a specification calculus for object oriented systems. In D. Bjorner. C. A. R. Hoare, and H. Langmaack. editors, Proc. VDM'90: VDM and Z - Formal Methods in Software Development, pages 290-318. Springer Verlag, 1990. Vol 428 of Lecture Notes in Computer Science.
20. Harrison, M. and Thimbleby, H. editors.: Formal Methods in Human-Computer Interaction. Cambridge series on HCI. Cambridge University Press, 1990.
21. Harrison, M. and Torres, J. editors.: Design, Specification and Verification of Interactive Systems '97. Eurographics, Springer, 1997.
22. [JoK96a] John, B. and Kieras, D.: The GOMS family of user interface evaluation techniques: comparison and contrast. ACM Transactions on Computer-Human Interaction, 3(4):320-351, 1996.
23. John, B. and Kieras, D.: Using GOMS for user interface design and evaluation: which technique? ACM Transactions on Computer-Human Interaction, 3(4):287-319, 1996.
24. Lamport, L.: The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923. 1994.
25. Markopoulos, P. and Johnson, P. editors.: Design, Specification and Verification of Interactive Systems '98. Eurographics, Springer, 1998.
26. Morgan, C.: Programming from Specifications. Prentice Hall international series in computer science. Prentice Hall, 1990.
27. Meyer, J. J. Ch. and van der Hoek, W.: Epistemic Logic for AI and Computer Science. Cambridge University Press, 1995.
28. Newell, A.: The knowledge level. AI Magazine, pages 1-20, 1981.
29. Newell, A.: Unified theories of cognition. Harvard University Press, 1990.
30. Palanque, P. and Bastide, R.: Petri net based design of user-driven interfaces using the Interactive Cooperative Objects formalism. In F. Paternó, editor. Interactive Systems: Design, Specification and Verification, pages 383-400. Springer Verlag, 1995.
31. Palanque, P. and Paternó, F.: Formal Methods in Human-Computer Interaction. Formal approaches to computing and information technology. Springer, 1998.
32. Reason, J.: Human error. Cambridge University Press, 1990.
33. Ryan, M., Fiadeiro, J. and Maibaum, T.: Sharing actions and attributes and modal action logic. In T. Ho and A. Meyer, editors. Proceedings on the International Conference on Theoretical Aspects of Computer Science, pages 569-593. Springer Verlag, 1991.
34. Spivey, J.: The Z Notation: A Reference Manual. Series in Computer Science. Prentice Hall International, 1989.
35. Young, R. M., Barnard, P., Blandford, A. and Harrison, M.: The unselected window scenario. Technical Report CP52, Amodeus ESPRIT BRA 7040, 1994.
36. Young, R., Green, T. and Simon, T.: Programmable user models for predictive evaluation of interface design. In K. Bice and C. Lewis, editors, Proceedings of CHI '89: Human Factors in Computing Systems, pages 15-19. Association of computing machinery, 1989.