This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
U.H. Chi, Department of Computer Science, University of Washington
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.
Index Terms:
user interfaces, Algebraic specifications, formal specifications, formal verification, set-theoretic specifications, software design, specification implementation
Citation:
U.H. Chi, "Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches," IEEE Transactions on Software Engineering, vol. 11, no. 8, pp. 671-685, Aug. 1985, doi:10.1109/TSE.1985.232517
Usage of this product signifies your acceptance of the Terms of Use.