The Community for Technology Leaders
Green Image
ABSTRACT
<p>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.</p>
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. , pp. 438-439, April 1988, doi:10.1109/32.4665
105 ms
(Ver )