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


Povyakalo, A. A., " To go out a dangerous business in time", Proceedings of Fifth International Conference On Nuclear Engineering (ICONE-5), 26-30 May, 1997, Nice, France, CD ROM, paper ICONE5-2548, American society of mechanical engineering (ASME), 1997. [abstract]

Littlewood, B., Wright, D, "A Bayesian Model that combines disparate evidence for the quantitative assessment of system dependability", In Book - Mathematics of Dependable Systems, II, (V Stavridou, Eds.), pp. 243-258, Clarendon Press, Oxford, 1997. [abstract]

Littlewood, B and Barghout, M and Abdel-Ghally, A, "A non-parametric approach to software reliability prediction, In: International Symposium on Software Reliability Engineering, 1997 Albuquerque.", Conference - ISSRE 97, Albuquerque, 1997.

Meulen, M.J.P. van der, "Betrouwbaarheidsanalyse tram/metrostellen GVB Amsterdam", Course notes, Probabilistisch ontwerpen in theorie en praktijk, Technical University Delft, 1997.

Frankl, P., Hamlet, D., Littlewood, B. and Strigini, L., "Choosing a testing method to deliver reliability", 19th International Conference on Software Engineering (ICSE'97), pp. 68-78, Boston, USA, 1997. [more information]

Strigini L, Di Giandomenico F, and Romanovsky A, "Coordinated backward recovery between client processes and data servers", Journal - IEE Proceedings on Software Engineeering, vol. 144(2), pp. 134-146, 1997.

Delic K. A, Mazzanti F, and Strigini L, "Formalising Engineering Judgement on Software Dependability via Belief Networks", Conference - DCCA-6, Sixth IFIP International Working Conference on Dependable Computing for Critical Applications, Can we rely on computers?, pp. 291-305, IEEE Computer Society Press, Garmisch-Partenkirch, 1997. [more information]

Fenton, N E, "How to improve safety-critical standards in Safer Systems", Conference - Proceedings, 5th Annual Safety Critical Systems Symposium, (F. Redmill and T. Anderson, Eds.), pp. 96-111, Springer Verlag, London, 1997.

Mellor P., "How to run group projects, and how not to", EPCOS (Effective Project work in COmputer Science) workshop, Southampton, 1997.

Fenton N.E, and Hall T, "Implementing effective software metrics programmes", IEEE Software, vol. 14(2), pp. 55-66, 1997.

Logie, R., Hunter, J., McIntosh, N., Gilhooly, K., Alberdi, E., & Reiss, J., "Medical cognition and computer support in the intensive care unit: A cognitive engineering approach", Engineering Psychology and Cognitive Ergonomics, (D. Harris, Eds.), vol. 2, Ashgate, Aldershot, UK, 1997.

Strigini L, Di Giandomenico F, and Romanovsky A, "On a scheme for backward recovery in complex systems including both client processes and data servers", Technical Report, 1997. [more information]

Fenton, N E and Kitchenham, B Pfleeger, SL, "Reply to comments on 'Toward a framework for software measurement validation", Journal - IEEE Transactions on Software Engineering, vol. 23(3), pp. 189-190, 1997.

Alberdi E. & Sleeman, D. H., "ReTAX: A step in the automation of taxonomic revision", Artificial Intelligence, vol. 91(2), pp. 257-279, 1997. [abstract]

Povyakalo, A. A., "Safety, Danger and Catastrophe Inevitability in General Dynamic Systems. A Possible New Look to the Safety Analysis", Proceedings of Fifth International Conference On Nuclear Engineering (ICONE-5), 26-30 May, 1997, Nice, France, CD ROM, paper ICONE5-2043, American society of mechanical engineers (ASME), 1997. [abstract]

Neil M., "Software Defect Density Prediction", Conference - Proceedings of the Annual Software Metrics (ASM) conference, Atlanta, Georgia, US, 1997.

Mellor, P, "Software Dependability and Safety Standards", Conference - 8th European Software Control and Metrics Conference, (Adrian Cowderoy, Eds.), Berlin Germany, 1997.

Littlewood, B., Wright, D, "Some conservative stopping rules for the operational testing of safety-critical software", Journal - IEEE Transactions on Software Engineering, vol. 23(11), pp. 673-683, 1997. [abstract] [more information]

Nicholas, D. and Fenton, D., "The Internet and the changing information environment", Managing Information, vol. 4(1/2), pp. 30-33, 1997.

Bishop, P.G., "Using Reversible Computing to Achieve Fail-safety", ISSRE 97, Alberquerque, New Mexico, USA, Nov 97, pp. 182-191, IEEE Computer Society Press, ISBN 0-8186-8120-9, 1997. [more information]