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


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.