Using Formal Models to Explore Display-Based Usability Issues

Journal of Visual Languages and Computing

Volumn 10, Issue 5, 1999, Pages 455-479

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

^a MIDDLESEX UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0010991778     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1006/jvlc.1999.0126     Document Type: Article

References (28)

1. Butterworth R., Blandford A., Duke D. The role of formal proof in modelling interactive systems. Markopoulos P., Johnson P. Design, Specification and Verification of Interactive Systems '98. 1998;87-101 Springer, Berlin.
2. Blandford A., Butterworth R., Good J. Users as rational interacting agents: formalising assumptions about cognition and interaction. Harrison M., Torres J. Design, Specification and Verification of Interactive Systems '97. 1997;43-60 Springer, Berlin.
3. Storrs G. A conceptualization of multiparty interaction. Interacting with Computers. 6:1994;173-189.
4. Butterworth R., Cooke D. J. On biasing behaviour to the optimal. Harrison M., Torres J. Design, Specification and Verification of Interactive Systems '97. 1997;291-306 Springer, Berlin.
5. Blandford A., Harrison M., Barnard P. Using interaction framework to guide the design of interactive systems. International Journal of Huma-Computer Studies. 43:1995;101-130.
6. Norman D. Cognitive engineering. Norman D., Draper S. User Centered System Design: New Perspectives on Human-Computer Interaction. 1986;31-61 Lawrence Erlbaum Associates.
7. Harrison M., Duke D. A review of formalisms for describing interactive behaviour. Taylor R., Coutaz C. Software Engineering and Huma-Computer Interaction. 896:1995;49-75 Springer, Berlin.
8. Young R., Green T., Simon T. Programmable user models for predictive evaluation of interface design. Bice K., Lewis C. Proceedings of CHI '89: Human Factors in Computing Systems. 1989;15-19.
9. R. Butterworth, A. Blandford, 1997, Programmable user models: the story so far, Middlesex University, http: //www.mdx.ac.uk/puma/.
10. Duke D., Harrison M. Abstract interaction objects. Computer Graphics Forum. 12:1993;25-36.
11. Fields B., Wright P., Harrison M. Designing human system interaction using the resource model. Yong L., Herman L., Leung Y., Moyes J. Proceedings of the APCHI'96 Conference. 1996;181-191.
12. Moher T., Dirda V., Bastide R., Palanque P. Monolingual, articulated modeling of users, devices and interfaces. Bodart F., Vanderdonckt J. Proceedings of Design, Specification and Verification of Interactive Systems '96. 1996;312-329 Springer, Berlin.
13. Newell A. Unified Theories of Cognition. 1990;Harvard University Press, Harvard.
14. Lamport L. The temporal logic of actions. ACM Transactions on Programming Languages and Systems. 16:1994;872-923.
15. Ryan M., Fiadeiro J., Maibaum T. Sharing actions and attributes and modal action logic. Ho T., Meyer A. Proceedings on the International Conference on Theoretical Aspects of Computer Science. 1991;569-593 Springer, Berlin.
16. Morgan C. Programming from Specifications. 1990;Prentice-Hall, Englewood Cliffs.
17. Harel D. Statecharts: a visual formalism for complex systems. Science of Computer Programming. 8:1987;231-274.
18. Palanque P., Bastide R. Petri net based design of user-driven interfaces using the interactive cooperative objects formalism. Paternò F. Proceedings of the Eurographics Workshop on Design Specification and Verification of Interactive Systems '94. 1995;215-228 Springer, Berlin.
19. Duke D., Harrison M. Interaction and task requirements. Palanque P., Bastide R. Proceedings of Design, Specification and Verification of Interactive Systems '95. 1995;54-75 Springer, Berlin.
20. May J., Scott S., Barnard P. Structuring Displays: a Psychological Guide. 1995;EACG, Geneva.
21. Wharton C., Rieman J., Lewis C., Polson P. The cognitive walkthrough method: a practitioner's guide. Nielson J., Mack R. Usability Inspection Methods. 1994;105-140 Wiley, New York.
22. Cockburn A., Jones S. Which way now? Analysing and easing inadequacies in www navigation. International Journal of Human-Computer Studies. 45:1996;105-129.
23. Tauscher L., Greenberg S. How people revisit web pages: empirical findings and implication for the design of history systems. International Journal of Huma-Computer Studies. 47:1997;97-137.
24. Dix A., Mancini R. Specifying history and back tracking mechanisms. Formal Methods in Huma-Computer Interaction,Formal Approaches to Computing and Information Technology. 1998;Springer, Berlin. p. 1-23.
25. Blandford A., Young R. M. Specifying user knowledge for the design of interactive systems. Software Engineering Journal. 1996;323-333.
26. Howes A., Young R. M. The role of cognitive architecture in modelling the user: Soar's learning mechanism. Human-Computer Interaction. 12:1997;311-343.
27. Wroblewski D., McCandless T., Hill W. Advertisements, proxies and wear: three methods for feedback in interactive systems. Beun R-.J., Baker M., Reiner M. Dialogue and Instruction: Modeling Interaction in Intelligent Tutoring Systems. Proceedings of the NATO Advanced Research Workshop on Natural Dialogue and Interactive Student Modelling. 1992;336-347 Springer, Berlin.
28. Harrison M., Torres J. Design, Specification and Verification of Interactive Systems '97. Eurographics. 1997;Springer, Berlin.