School of Mathematics, Computer Science & Engineering
  1. About the School
  2. Research
  3. Engineering & Mathematics scholarships & funding
  4. Computer Science scholarships and funding
  5. Placements and internships
  6. Our London location
  1. 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.