Premium
Modelling and validating the man‐machine interface
Author(s) -
Casey Bernice E.,
Dasarathy B.
Publication year - 1982
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380120607
Subject(s) - computer science , interface (matter) , redundancy (engineering) , software engineering , automation , model checking , formal methods , programming language , human–computer interaction , operating system , engineering , mechanical engineering , bubble , maximum bubble pressure method
This paper describes a formal model for expressing the functional requirements of the man‐machine interfaces of interactive systems. It also shows how this model can facilitate the automation of other useful activities such as checking for inconsistency, redundancy, and incompleteness in the specification, and validating the implementation of the interface against its original requirements. Finally, the paper comments on the authors' experience in developing an interactive system using this formal model.