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


Bishop, P.G., Pullen, F.D., "Co-ordinated Substation Control and Monitoring", CIGRE 86 Conference, Paris, August, 1986.

Littlewood B, Abdel-Ghaly A A , Chan P Y, "Evaluation of competing software reliability predictions", Conference, IEEE Trans. Software Engineering, SE-12, pp. 950-967, 1986.

Bishop, P.G., Esp, D.G., Barnes, M., Humphreys, P., Dahll, G., Lahti, J., "PODS-A Project on Diverse Software", IEEE Trans. Software Engineering, vol. SE-12, no. 19, pp. 929-941, 1986. [abstract]

Mellor P., "Software reliability data collection: problems and standards", Chapter from State of the Art Report, pp. 165-181 and 256-257, Pergamon Infotech Ltd, 1986.

Bendell A., Mellor P., "State of the Art Report R2/86 on Software Reliability'", Pergamon Infotech Ltd., (Bendell A., Mellor P., Eds.), 1986.

Jones. K, "The application of a Formal Development Method to a Parallel Machine Environment.", Technical Report, Dept. of Computer Science, University of Manchester, 1986.