THE FORMAL SPECIFICATION OF A CONFERENCE ORGANIZING SYSTEM
T Clement
Abstract
This monograph arises from an exercise in information systems design sponsored by IFIP Working Group B. This was intended to provide a means of comparing various design methods, proprietary and otherwise by6 asking their exponents to prepare designs from a common specification to a level where the system could be produced by a typical applications programmer.
Institution
OUCL
Month
August
Number
PRG36
Pages
59
Year
1983