A review of formalisms for describing interactive behaviour-Reference-Cited by-同舟云学术

A review of formalisms for describing interactive behaviour

Published:1995 Issue: Volume: Page:49-75
ISSN:0302-9743
Container-title:Software Engineering and Human-Computer Interaction
language:
Short-container-title:

Author:

Harrison M. D.,Duke D. J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0035807

Reference65 articles.

1. G. D. Abowd. Formal Aspects of Human-Computer Interaction. PhD thesis, University of Oxford Computing Laboratory: Programming Research Group, 1991. Available as Technical Monograph PRG-97.

2. P. J. Barnard and M. D. Harrison. Towards a framework for modelling human computer interaction. In J. Gornostaev, editor, Proceedings International Conference on HCI, EWHCI'92, pages 189–196. Moscow: ICSTI, 1992.

3. A.E. Blandford, M.D. Harrison, and P.J. Barnard. Integrating user requirements and systems specification. In Computers, Communication and Usability: Design Issues, Research Methods and Integrated Services, pages 165–196. North Holland Studies in Telecommunication, 1993.

4. L.M.F. Carneiro-Coffin, D.D. Cowan, D. Smith, and C.J.P. Lucena. An experience using JASMINUM—formalization assisting with the design of user interfaces. In IEEE Workshop on Software Engineering and Human Computer Interaction: Joint Research Issues, Sorrento, 1994.

5. S. K. Card, T. P. Moran, and A. Newell. The Psychology of Human Computer Interaction. Lawrence Erlbaum, 1983.

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. State of the Art on Formal Methods for Interactive Systems;Human–Computer Interaction Series;2017

2. Information Organization in the Airline Cockpit;Journal of Cognitive Engineering and Decision Making;2013-06-19

3. Generating phenotypical erroneous human behavior to evaluate human–automation interaction using model checking;International Journal of Human-Computer Studies;2012-11

4. Working Together with Computers;Speech, Image, and Language Processing for Human Computer Interaction;2012

5. Complex Components Abstraction in Graphical User Interfaces;Human-Computer Interaction. Design and Development Approaches;2011