A Formal Specification of the QMC Message System: The Underlying Abstract Model
W. T. Roberts · The Computer Journal · 1988
complete specification of the user interface. There are few examples in the literature of how to go about the task of constructing an algebraic, axiomatic specification, so this paper also presents the method employed by the author to arrive at the stated specification. A brief example is given of the use of the specification in the description of a user interface, and various technical and implementation issues are discussed.