Comments on "Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches"
Issue No. 04 - April (1988 vol. 14)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.4665
<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>
Formal specification, prototyping.
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