Estimating Software Costs, ing and testing, Communications of the ACM, 23, (5). Datamation, September to November. Goel, A.L. (1985) Software reliability models: Assumptions, limi- Pyle, I.C. (1981) The Ada programming language, Prentice Hall. tations and applicability, IEEE Trans. on Software Engineering, Reifer, D.J. (1980) A Poor Man's Guide to Estimating Software .SE-11, (12). Costs, Texas Instruments Inc. Technical Report RCI-TR-012. Hayball, C.C. and Tansley, D.S.W. (1992) KADS methodology handbook. Ritchie, D.M. et. al. (1978) The C programming language, Bell Hughes, S.W. (1992) The RAISE development method, Published by System Technical Journal, 57, (6), July-August. BNR Europe Ltd., London Road, Harlow, Essex. Scott, B.J. (1990) User centre systems group, BNR Europe Ltd., Jelinski, Z. and Moranda, P.B. (1972) Software reliability research, London Road, Harlow, Essex. In Statistical Computer Performance Evaluation, (ed. W. Shanthikumar, J.G. (1983) Software reliability models: a review. Freiberger), Academic Press. Microelectronics and Reliability, 23 (5). King, J.C. (1976) Symbolic execution and program testing, Com- Spurr and Layzell (eds) (1990) CASE on Trial. munications of the ACM, 19, (7). Stroustrup, B. (1986) The C++ reference manual, Addison Wesley. Korel, B. and Laski, J. (1985) A tool for data flow oriented program Turski and Maibaum. (1987) The specification of computer pro- testing, Proceedings of SoftFair 11, San Francisco, IEEE. grams, Addison Wesley. Lehman, M.M.(1980) On understanding laws, evolution and con- Wing, J.M. (1990) A specifier's introduction to formal methods, servation in the large-program life cycle, J. of Systems and Computer, 23, (9), September. Software 1, (3). Woodward, M.R., Hedley, D. and Hennell, M.A. (1980) Experience Lindsay, P. (1988) A survey of mechanical support for formal with path analysis and testing programs, IEEE Transactions on reasoning, Software Engineering Journal, 3, (1). Software Engineering. SE-6, (3). Radio spectrum management David J Withers CEng F