Using formal specifications in the design of a human-computer interface
Communications of the ACM
DMS: A comprehensive system for managing human-computer dialogue
CHI '82 Proceedings of the 1982 Conference on Human Factors in Computing Systems
Further developments toward using formal grammar as a design tool
CHI '82 Proceedings of the 1982 Conference on Human Factors in Computing Systems
Towards specifying and evaluating the human factors of user-computer interfaces
CHI '82 Proceedings of the 1982 Conference on Human Factors in Computing Systems
Human Problem Solving
Logical composition of object-oriented interfaces
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Human-computer interface development: concepts and systems for its management
ACM Computing Surveys (CSUR)
The cognitive model: an approach to designing the human-computer interface
ACM SIGCHI Bulletin
| Hi-index | 0.00 |
High quality human/computer interfaces have become a major topic of research. This paper describes a new method for modeling, designing, and developing dialogues, a method that has a strong formal basis and allows a uniform syntactic and semantic specification. This formal descriptive technique has the added advantage of being executable, that is, it has widely available translators. The technique chosen here allows a very high level specification of human/computer interaction enabling rapid development and easy modification. This paper describes the nature of the formal specifications written in first order logic using Prolog, and the successful specification and development of a carrier air traffic controller (CATC) dialogue. These experiments demonstrate the utility of Prolog as a high level specification language and point the way to a full dialogue development system that can incorporate a multi-layered concept of human/computer interaction.