A Formal Specification of the QMC Message System: The Underlying Abstract Model | Zendy

W. T. Roberts | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Formal Specification of the QMC Message System: The Underlying Abstract Model

Author(s) -

W. T. Roberts

Publication year - 1988

Publication title -

the computer journal

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.319

H-Index - 64

eISSN - 1460-2067

pISSN - 0010-4620

DOI - 10.1093/comjnl/31.4.313

Subject(s) - computer science , programming language

This report presents an algebraic specification of the Queen Mary College (QMC) Message System, the first part of a 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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research