© 1979 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||
Towards comprehensive specifications
London School of Economics, Houghton Street, London, UK
This paper suggests that specifications should be more factually complete so that systems queries can be reduced; this would save much cost and time of analysts, designers, programmers, operators and the computer itself. Technical facts are defined for a specification's data dictionary, messages, data base and procedures and are checklisted so that documentation standards and higher level systems languages can be analysed for completeness typical examples (e.g. ADS, NCC, PSL) seem to be more incomplete than they are complete.
Received February 1978.
* London School of Economics, Houghton Street, London WC2A 2AE