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


Bishop, P.G., Bloomfield, R.E., "A Conservative Theory for Long-Term Reliability Growth Prediction", ISSRE'96, White Plains, NY, USA, 30 0ct-2 Nov, pp. 308-317, IEEE Computer Society Press, ISBN 0-8186-7707-4, 1996. [more information]

Bishop, P.G., Bloomfield, R.E., "A Conservative Theory for Long-Term Reliability Growth Prediction", IEEE Trans. Reliability, vol. 45, no 4., pp. 550-560, 1996.

Strigini, L and Bertolino, A, "Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results", 15th International Conference on Computer Safety, Reliability and Security (SAFECOMP 96), (Erwin Schoitsch, Eds.), pp. 83-94, Springer, Vienna, Austria, 1996.

Littlewood, B. Neil, M. Fenton, N., "Applying Bayesian belief networks in systems dependability assessment", Proc. 4th Safety Critical Systems Symposium, Leeds, UK, pp. 71-94, Springer-Verlag, 1996.

Povyakalo, A. A., "Assessment of importance of elements for systems whose condition depends on the sequence of elements failures", Proceedings of Fourth International Conference on Nuclear Engineering (ICONE-4), 10-15 March, 1996, New Orleans, LA, USA, vol. 3, pp. 427-429, American society of american engineers (ASME), 1996. [abstract]

Littlewood, B. Combelles, A., Sorel, V., "Difficulties in evaluating the dependability of safety-critical systems: investigation on the combination of evidence", International Conference on Probabilistic Safety Assessment and Management, Crete, 1996.

Fenton, N E, "Do standards improve product quality", Journal (In: IEEE Software), vol. 13(1), pp. 22-24, 1996.

Strigini, L., "Engineering judgement in reliability and safety and its limits: what can we learn from research in psychology", Technical Report, 1996. [more information]

Fenton, N E and Finney, K, "Evaluating the effectiveness of using Z: the claims made about CICS and where we go from here.", Journal of Systems Software, 35(3), 206-219, Dec 1996., 1996.

Littlewood, B, "Evaluation of software dependability, In: Computing Tomorrow: Future Research Directions in Computer Science", Book, (I. Wand and R. Milner, Eds.), I. Wand and R. Milner, 1996. [more information]

Jones. K, Privitera. J, Sheffler. T, "Higher Level Specification: A Constraint-Based System in Practice", Proc. HLDVT '96, 1996.

Povyakalo, A. A., "Levels of Safety", Proceedings of Fourth International Conference on Nuclear Engineering (ICONE-4), 10-15 March, 1996, New Orleans, LA, USA, vol. 3, pp. 181-185, American society of mecanical engineers (ASME), 1996. [abstract]

Strigini, L, "Limiting the Dangers of Intuitive Judgment in Decision Making", Journal - IEEE Software, vol. 13(1), pp. 101-103, 1996.

Meulen, M.J.P. van der, "Moderne procesbeheersing vraagt aangepaste wetgeving", Chemisch Magazine, 1996.

Strigini, L., "On testing process control software for reliability assessment: the effects of correlation between successive failures, Software Testing Verification and Reliability", Software Testing Verification and reliability, 6(1), pp.36-48, vol. 6(1), pp. 36-48, 1996.

Bertolino, A., Strigini, L., "On the use of testability measures for dependability assessment", IEEE Transactions on Software Engineering, vol. 22, no. 2, pp.97-108, 1996. [more information]

Neil M. and Fenton N., "Predicting Software Quality using Bayesian Belief Networks", Conference - Proceedings of the 21st Annual Software Engineering Workshop, NASA Goddard Space F, 1996.

Bertolino, A., Strigini, L., "Predicting Software Reliability from Testing Taking into Account Other Knowledge about a Program", Proc. Quality Week '96, San Francisco, Software Research Institute, San Francisco, 1996. [more information]

Strigini L and Fenton N E, "Rigorously assessing software reliability and safety", Proc. ESA Software Product Assurance Workshop, pp. 193-198, Nordvjik, Netherland, 1996. [more information]

Fenton, N E and Pfleeger, SL, "Software Metrics: A Rigorous and Practical Approach", Book 2nd Edition, pp. 638, International Thomson Computer Press, London and Boston, 1996.

Hall T and Fenton NE, "Software quality programmes: a snapshot of theory versus reality", Journal - Software Quality, vol. 5(4), pp. 235-242, 1996.

Littlewood, B and Brocklehurst, S, "Techniques for prediction analysis and recalibration, In: The Handbook of Software Reliability Engineering", Book, (M. Lyu, Eds.), McGraw-Hill, New York, 1996.

Jones. K, Privitera. J, "The automatic generation of functional test vectors for rambus designs.", DAC '96: Proceedings of the 33rd annual conference on Design automation, 1996.

Littlewood, B., "The impact of diversity upon common mode failures", Reliability Engineering and System Safety, vol. 51(1), pp. 101-113, 1996. [more information]

Fenton, N E, "The role of measurement in software safety assessment", Journal in Safety and Reliability of Software Based Systems, (R. Shaw, Eds.), pp. 217-248, Springer-Verlag, 1996.