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

  • Authors:

  • Heather Alexander

  • Affiliations:

  • -

  • Venue:
  • IEEE Transactions on Software Engineering
  • Year:
  • 1988

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.