Representational reasoning and verification

Formal Aspects of Computing

Volumn 12, Issue 4, 2000, Pages 260-277

  Doherty, Gavin J ^a   Campos, José C ^b   Harrison, Michael D ^b  

^a RUTHERFORD APPLETON LABORATORY   (United Kingdom)

^b Rutherford Appleton Laboratory ^*

Author keywords

Distributed cognition; Fication; Formal specification; Human computer interaction; Representation; Veri

Indexed keywords

EID: 0004635642     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/PL00003934     Document Type: Article

References (21)

1. Agerholm, S.: Translating specifications in VDM-SL to PVS. In Proceedings of 9th International Conference on Theorem Proving in Higher Order Logics, volume 1125 of Lecture Notes in Computer Science, 1996.
2. Campos, J. C.: Automated Deduction and Usability Reasoning. DPhil Thesis, Department of Computer Science, University of York, 1999.
3. Casner, S. M.: A task-analytic approach to the automated design of graphic presentations. ACM Transactions on Graphics, 10(2):111-151, April 1991.
4. Campos, J. C. and Harrison, M. D. Formally verifying interactive systems: A review. In Harrison and Torres [HaT97], pages 109-124.
5. Campos, J. C. and Harrison, M. D.: Using automated reasoning in the design of an audio-visual communication system. In DJ. Duke and A. Puerta, editors, Design, Specification and Verification of Interactive Systems '99, pages 167-188. Springer- Verlag/Wien, 1999.
6. Duke, D. J. and Harrison, M. D.: Abstract interaction objects. Proceedings of Eurographics '93, Computer Graphics Forum, 12(3), 1993.
7. Doherty, G. and Harrison, M. D.: A representational approach to the specification of presentations. In Harrison and Torres [HaT97].
8. Diaper, D. editor: Task Analysis for Human-Computer Interaction. Ellis Horwood Books in Information Technology. Ellis Horwood, 1989.
9. Harrison, M. D. and Thimbleby, H. W. editors: Formal methods in Human Computer Interaction. Cambridge University Press, 1990.
10. Harrison, M. D. and Torres, J. C. editors: Proceedings, 4th Eurographics Workshop on Design, Specification, and Verification of Interactive Systems, Springer Computer Science. Springer Wien, 1997.
11. Hutchins, E.: Cognition in the Wild. MIT Press, 1995.
12. Hutchins, E.: How a cockpit remembers its speeds. Cognitive Science, 19:265-288, 1995.
13. May, J., Scott, S. and Barnard, P.J.: Structuring Displays: A Psychological Guide. Eurographics Tutorial Notes Series. EACG: Geneva, 1995. Appeared as Amodeus report B04.
14. Owre, S., Shankar, N. and Rushby J. M.: User Guide for the PVS Specification and Verification System. Computer Science Laboratory, SRI Internatinal, Menlo Park CA 94025, USA, (beta release) edition, March 1993.
15. Palanque, P. and Paternó, F. editors.: Formal Methods in Human-Computer Interaction. Formal Approaches to Computing and Information Technology. Springer-Verlag, 1998.
16. Scaife, M. and Rogers, Y.: External cognition: how do graphical representations work? International Journal of Human-Computer Studies, 45:185-213, 1996.
17. Stevens, S. S.: On the theory of scales of measurement. Science, 103:677-680, 1946.
18. Wright, P. C., Fields, B. and Harrison, M.D.: Distributed information resources: An new approach to interaction modelling. In T.R.G. Green, J.J. Canas, and C.P. Warren, editors, Proceedings of ECCE8: European Conference on Cognitive Ergonomics, pages 5-10, EACE, 1996.
19. Woods, D. D., Johannesen, L. J., Cook, R. I. and Sarter N. B.: Behind human error: Cognitive systems, computers and hindsight. State-of-the-Art Report SOAR 94-01, Crew Systems Ergonomics information and Analysis Center (CSERIAC), Wright- Patterson Airforce Base, Ohio., December 1994.
20. Zhang, J.: A representational analysis of relational information displays. International journal of human computer studies, 45, 1996.
21. Zhang, J. and Norman, D. A.: Representations in distributed cognitive tasks. Cognitive Science, 18:87-122, 1994.