This paper presents a survey of formal tools, methodologies, and models which have been proposed for developing user interfaces for interactive information systems. The treatment examines issues related to human engineering, human-computer interfacing, behavioural experiments, and user interface design aids. Particular emphasis is placed on user research studies, specification techniques for interactive language modeling, analytical studies of user-system interaction, user models (including cognitive models, conceptual models, and mental models), and user interface management systems. The paper concludes with a brief list of suggested future research directions based on the results of this survey.
Read full abstract