School of Mathematics, Computer Science & Engineering
  1. About the School
  2. Research
  3. Engineering & Mathematics scholarships & funding
  4. Computer Science scholarships and funding
  5. Athena SWAN
  6. Placements and internships
  7. Our London location
  1. Research Centre for Software Reliability
  2. Publications
School of Mathematics, Computer Science & Engineering


Littlewood B, Sofer A, "A Bayesian modification to the Jelinski-Moranda software reliability growth model", IEE/BCS Software Engineering , Vol.2, Pt.2, pp 30-41, 1987.

Jones. K, "A Formal Semantics for a DataFlow Machine - Using VDM", Proc. VDM Europe, 1987.

Mellor P, "Experiments in Software Reliability Estimation", Reliability Engineering Vol 18, No. 2 , pp 117-129., 1987.

Fenton N E, Kaposi A A, "Metrics and Software Structure", Information & Software Tech, Vol 29(6), pp 301-320., 1987.

Mellor P, "Software reliability modelling: the state of the art", Information and Software Technology, Vol. 29, No.2 , pp 81-98., 1987.

Mellor P, "Software Reliability Prediction: Derivation of Model Parameters from Failure Data", Int'l J of Quality and Reliability Management Vol.4, No.2, pp 12-26., 1987.

Bishop P.G. Esp, D., Pullen, F.D., Barnes, M., Humphreys, P., Dahll, G., Bjarland, B., Lahti, J., Valisuo, H., "STEM: a Project on Software Test and Evaluation Methods", Safety and Reliability Society Symposium 1987 (SARS 87), Altrincham, Manchester, pp. 100-117, Elsevier Applied Science, ISBN 1-85166-167-0, 1987.

Jones. K, "Support Environments for VDM", Proc. VDM Europe, 1987.

Bishop, P.G., "The PODS Diversity Experiment", Dependable Computing and Fault Tolerant Systems, (Voges, U., Eds.), vol. 2, pp. 51-84, Springer Verlag, ISBN 0-387-82014, New York-Wien, 1987.