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


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.