Ian C. Morrey

Learn More
Model-based speci®cation languages, in particular Z, have been widely used to provide a precise and unambiguous statement of the proposed system as perceived by the developer. However, for many complex speci®cations, developers cannot themselves be sure about the ``intended behaviour'' of the speci®cation constructed. This paper reports on an approach and(More)
  • 1