About City
  1. Schools and departments
  2. Education
  3. Rector and President
  4. Governance and leadership
  5. Working at City
  6. History of City
  7. More about City
  8. Campus map
  9. Contact us
  1. Mathematics, Computer Science and Engineering
  2. Research
  3. Research Centre for Software Reliability
About City


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.