The Purpose of Specification.
Roger G. Stone, Julie Cooke · 1997
Specifications, that is to say formal specifications in a computing context, should be correct, concise and complete and intelligible to their intended audience. We consider the changes in our own thinking about notation and styles of writing specifications and our success (or lack of it) over the years in teaching the ideas behind specifications. In particular we are interested in the choice of specification notation to carry the design process by a series of transformation steps. Keywords: POP-I.B.Choice of language, POP-II.B.Formal Specification, POP-III.C.Functional, POP-IV.A.Transformation 1