Centre for Software Reliability
  1. News
  2. Staff
  3. Research
  4. Courses
  5. Consultancy & Advisory Services
  6. CSR Seminars
  7. Contact CSR
Software Reliability


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.