Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches

Authors:
Uli H. Chi
Affiliations:
Univ. of Washington, Seattle
Venue:
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
Year:
1985

Citing 0
Cited 7

The proteus bibliography: Representation and interactive display in databases

ACM SIGMOD Record
Dialog management in interactive systems: a comparative survey

ACM SIGCHI Bulletin
A System for Specification and Rapid Prototyping of Application Command Languages

IEEE Transactions on Software Engineering
Design process and decision rationale models for the N-Chime interface system

ACM SIGCHI Bulletin
Specifying user interfaces in DisCo

ACM SIGCHI Bulletin
The Filter Browser Defining Interfaces Graphically

ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
The effects of gender differences on operational performance and satisfaction with car navigation systems

International Journal of Human-Computer Studies

Quantified Score

Hi-index	0.00

Visualization

Abstract

Few examples of formal specification of the semantics of user interfaces exist in the literature. This paper presents a comparison of four axiomatic approaches which we have applied to the specification of a commercial user interface-the line editor for the Tandy PC-1 Pocket Computer. These techniques are shown to result in complete and relatively concise descriptions. A number of useful and nontrivial properties of the interface are formally deduced from one of the specifications. In addition, a direct implementation of the interface is constructed from a formal specification. Limitations of these specification examples are discussed along with future research work.