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

1986

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.