Practical and Theoretical Aspects of Human Computer Interaction

Abbott R.J. (1983). Program design by informal English descriptions. Communications of the ACM, 26, 882–894.

Alty J. (1984). The application of path algebras to interactive dialogue design. Behaviour and Information Technology, 3, 119–132.

Anderson S. (1985). Proving properties of interactive systems. In Harrison M.D. , and Monk A. (eds.) People and Computers: Designing for Usability. Cambridge University Press, Cambridge.

Annett J. , Duncan K.D. , Stammers R.B. , and Gray MJ . (1971). Task Analysis. Training information No. 6, HMSO, London.

Barnard P.J. (1987). Cognitive resources and the learning of human-computer dialogues. In Carroll J.M. (ed.) Interactive Thought: Cognitive Aspects of Human-Computer Interaction. MIT Press, Cambridge, Mass. (in press).

Bird M. , and Schofield N. (1985). A practical approach to software engineering by using an interaction handler and skeleton code generator. Computer-Aided Design. October, 374–378.

Gard S.K. , Moran T.P. , and Newell A. (1983). The Psychology of Human-Computer Interaction. Lawrence Erlbaum Associates, Hillsdale, N.J.

Carroll J.M. , and Mack R.L. (1985). Metaphor, computing systems and active learning. International Journal of Man-Machine Studies. 22, 39–57.

Cook S. (1986). Modelling generic user-interfaces with functional programs. In Harrison M.D. , and Monk A. (eds.) People and Computers: Designing for Usability. Cambridge University Press, Cambridge.

Gehani N. (1986). Specifications: formal and informal – a case study. In Gehani N. , and McGettrick A.D. (eds.) Software Specification Techniques. Addison Wesley, Woking.

Gentner D. (1983). Structure-mapping: A theoretical framework for analogy. Cognitive Science, 7, 155–170.

Gould J.D. , and Lewis C. (1985). Designing for usability: key principles and what designers think. Communications of the ACM. 28, 300–311.

Guttag J. (1986). Notes on type abstraction. In Gehani N. , and McGettrick A.D. (eds.) Software Specification Techniques. Addison Wesley, Woking.

Harrison M.D. , and Thimbleby H.W. (1985). Formalising guidelines for the design of interactive systems. In Johnson P. , and Cook S. (eds.) People and Computers: Designing the Interface. Cambridge University Press.

Hewett T.T. (1986). The role of iterative evaluation in designing systems for usability. In M.D. Harrison and A. Monk (eds ì People and Computers: Designing for Usability. Cambridge University Press, Cambridge.

Jacob R.J.K. (1986). Using formal specifications in the design of a human-computer interface. In Gehani N. , and McGettrick A.D. (eds.) Software Specification Techniques. Addison Wesley, Woking.

Johnson P. (1985). Towards a task model of messaging: an example of the application of TAKD to user interface design. In Johnson P. , and Cook S. (eds.) People and Computers: Designing the Interface. Cambridge University Press.

Johnson P. , Diaper D. , and Long J.B. (1984a). Syllabi for training in information technology. In Megaw E. (ed.) Contemporary Prgonomics. Taylor and Francis.

Johnson P. , Diaper D. , and Long J.B. (1984b). Tasks, skill and knowledge: task analysis for knowledge descriptions. In Shackel B. (ed.) Interact 84. Elsevier, Holland.

Kieras D.E. , and Bovair S. (1984). The role of the mental model in learning to operate a device. Cognitive Science, 8, 255–273.

MacLean A. , Barnard P. , and Wilson M. (1986). Rapid prototyping of dialogue for human factors research: the EASIE approach. In Harrison M.D. , and Monk A. (eds.) People and Computers: Designing for Usability. Cambridge University Press, Cambridge.

Moran T.P. (1978). Introduction to the command language grammar: a representation for the user interface of interactive computer systems. Report SSL.78.3 AIP Memo 111.

Moran T.P. (1981). The command language grammar: a representation for the user interface of interactive computer systems. International Journal of Man-Machine Studies, 15, 3–50.

Moran T.P. (1983). Getting into a system: external-internal task mapping analysis. Proceedings of CHI 1983 Conference on Human Factors in Computing. ACM, Washington, D.C.

Payne S. , and Green T.R.G. (1987). Task-action grammars: a model of the mental representation of task languages. Human Computer Interaction (in press).

Reisner P. (1977). Use of psychological experimentation as an aid to development of a query language. IEEE Transactions on Software Engineering. SE-3, 218–229.

Reisner P. (1981). Formal grammar and design of an interactive system. IEEE Transactions on Software Engineering, 5, 229–240.

Sleeman D.H. , and Brown J.S. (1979). Editorial: intelligent tutoring systems. International Journal of M an-Machine Studies, 11, 1–3.

Smith D.C. , Irby C. , Kimball R. , Verplank B. , and Harslem E. (1982). Designing the star user interface. Byte 7 April.

Sufrin B. (1986). Formal methods and the design of effective user interfaces. In Harrison M.D. , and Monk A. (eds.) People and Computers: Designing for Usability. Cambridge University Press, Cambridge.

Wasserman A.I. (1984). Developing interactive systems with the user software engineering methodology. In Shackel B. (ed.) Human-Computer Interaction. INTERACT'84, North Holland, 611–618.

Young R.M. (1981). The machine inside the machine: user's models of pocket calculators. International Journal of Man-Machine Studies, 15, 51–85.

Young R.M. (1983). Surrogates and mappings: two kinds of conceptual models for interactive devices. In Gentner D. , and Stevens A.L. (eds.) Mental Models. 35–52. Lawrence Erlbaum, Hillsdale, N.J.