|
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.
|