OXFORD UNIVERSITY COMPUTING LABORATORY

Programming Research Group Technical Monograph PRG-36

The Formal Specification of a Conference Organising System

Tim Clement

August 1983, 52 pages + Appendix, ISBN 0-902928-20-1

This monograph arises from an exercise in information systems design sponsored by IFIP working group 8.1. This was intended to provide a means of comparing various design methods, proprietary and otherwise, by asking their exponents to prepare designs from a common specification to a level where the system could be produced by a typical applications programmer.

The problem as posed by IFIP is to produce an information system to support the organization of a conference.


[Oxford Spires]



Oxford University Computing Laboratory Courses Research People About us News