This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Comments on "Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches"
April 1988 (vol. 14 no. 4)
pp. 438-439

A recent paper compared several axiomatic methods of formal specification, one of which was Z. As a result of a comparison made between Z and a similar, but executable, specification language called me too, Simon Finn pointed out that one of the Z specifications given in that paper was not correct. This correspondence describes the erroneous function and draws some conclusions about the process of formal specification.

[1] B. Sufrin, "Formal specification of a display-oriented text editor"Sci. Comput. Program., vol. 1, pp. 157-202, May 1982.
[2] P. Henderson and C. Minkowitz, "The me too method of software design," Dep. Comput. Sci., Univ. Stirling, Stirling, Scotland, Internal Rep. FPN-10, 1985.
[3] B. Liskov and S. Zilles, "Specification techniques for data abstractions,"ACM SIGPLANNotices, vol. 10, pp. 72-87, June 1975.
[4] H. Alexander, "Specifying and prototyping a line editor: A comparison between Z and me too," Dep. Comput. Sci., Univ., Stirling, Stirling, Scotland, Internal Rep. RGP-24, 1985.

Index Terms:
Formal specification, prototyping.
Citation:
H. Alexander, "Comments on "Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches"," IEEE Transactions on Software Engineering, vol. 14, no. 4, pp. 438-439, April 1988, doi:10.1109/32.4665
Usage of this product signifies your acceptance of the Terms of Use.