School of Mathematics, Computer Science & Engineering
  1. About the School
  2. Research
  3. Engineering & Mathematics scholarships & funding
  4. Computer Science scholarships and funding
  5. Placements and internships
  6. Our London location
  1. Publications
School of Mathematics, Computer Science & Engineering

1995

Littlewood B., Wright D., "A Bayesian model that combines disparate evidence for the quantitative assessment of system dependability", Conference - Proc 14th International Conference on Computer Safety, pp. 173-188, Springer, 1995.

Pereguda, A. I., Povyakalo, A. A, "Assessment of importance of protection subsystems in analysis of reliability and safety", Proc. Ann. meeting of Nucl. Technology, 15-18 May, 1995, Nurnberg, Germany, pp. 218-222, 1995.

Romanovsky, A. and Strigini L., "Backward error recovery via conversations in Ada", Software Engineering Journal, vol. 10(6), pp. 219-232, 1995.

Povyakalo, A. A., "Constructive Criterion of Catastrophe Inevitability", Transaction of Int. East-West TOPical Meeting «Safety of operating nuclear plants» 24-27 September, 1995, Budapest, Hungary (ENS TOPSAFE'95), vol. 2, European nuclear society (ENS), 1995. [abstract]

Bondavalli A, Chiaradonna S, Di Giandomenico F, Strigini L., "Dependability Analysis of Iterative Fault-Tolerant Software Considering Correlation", Journal in Predictably Dependable Computing Systems, (B. Randell, J,-C. Laprie, H. Kopetz, B. Littlewood, Eds.), pp. 459-471, Springer, 1995.

Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Lorenzo Strigini, "Dependability Models for Iterative Software Considering Correlation among Successive Inputs", Conference - Proc. IPDS '95, IEEE International Symposium on Computer Performance and Dependability, pp. 13-21, Erlangen, Germany, 1995.

Meyer, J. F, Littlewood, B, Wright, D. R., "Dependability of Modular Software in a Multiuser Operational Environment", Proc. 6th Int'l Symp. Software Reliability Engineering, vol. ISSRE95, pp. 170-9, IEEE Computer Society Press, Toulouse, 1995. [abstract]

Delic K. A. , Mazzanti F. and Strigini L., "Formalising a software safety case via belief networks", SHIP Project Technical Report T046, 1995. [more information]

Bache, R.M. and Neil M.D, "Introducing Metrics into Industry: A Perspective on GQM.", In Software Quality Assurance and Measurement: A Worldwide Perspective, (N. Fenton, R. Whitty and Y. Iizuka, Eds.), International Thomson Computer Press, London, 1995.

Fenton N E, "Measurement for Evaluating Software Engineering Methods", Journal in, (A. Melton, Eds.), Chapman & Hall, London, 1995.

Fenton N E, "Multi-criteria Decision Aid; with emphasis on its relevance in dependability assessment", Journal, CSR,City University,, 1995.

Littlewood B., "Predictably Dependable Computing Systems", Springer, Berlin, (B Littlewood, B Randell, J-C Laprie, H Kopetz, Eds.), 1995.

Bondavalli A, Chiaradonna S, Di Giandomenico F, Strigini L., "Rational Design of Multiple-Redundant Systems: Adjudication and Fault Treatment", Journal in Predictability Dependable Computing Systems, (B. Randell, J,-C. Laprie, H. Kopetz, B. Littlewood, Eds.), pp. 141-153, Springer, 1995.

Meulen, M.A. van der, Meulen, M.J.P. van der, Meerman, G.J. te, "Recurrence risk for germinal mosaics revisited", J. Med. Genetics, pp. 102-4, 1995.

Cai K Y, Wen C Y, Zhang M L, "Reliability Behaviour of Combined Hardware-Software Systems", Book, Reliability and SafetyAnalyses in fuzziness, (Onisawa T, Kacprzyk J, Eds.), pp. 183-195, 1995.

Mellor P., "Reliability of Systems, Equipment and Components'", Chapter in, vol. 2, 1995.

Neil M.D., "Sections on Statistical Control of Software Quality and Product Quality Modelling", Book, Software Evaluation for Certification: Principles, Practice and Legal Liability, (Rae A., Robert P. and Hausen H., Eds.), pp. 65-68 & 77-80, McGraw Hill, International Software Quality Assurance Series, London, 1995.

Bishop, P.G., "Software Fault Tolerance by Design Diversity", Software Fault Tolerance, (Lyu, M., Eds.), Wiley, USA, Springer, ISBN 0-471-95068-8, 1995. [more information]

Mellor P., "Software Reliability: Where Are We Now? (Computing Services and Software Association)", Conference Proc.- Quality Assurance Group workshop, London, 1995.

Littlewood B., Wright D., "Stopping rules for the operational testing of safety-critical software", Conference Proc. - Digest of IEEE 1995 FTCS, 25th Annual International Symposium Fault-Tolerant Computing, IEEE Computer Society Silver Spring, Md, pp. 444-451, Pasadena, 1995.

Alberdi, E. and Sleeman, D., "Taxonomy revision in botany: A simulation of historical data", Working Notes of the 1995 AAAI Spring Symposium on Systematic Methods of Scientific Discovery, Stanford University,, 1995.

Littlewood B., Brocklehurst S., "Techniques for prediction analysis and recalibration", Chapter 4 of The Handbook of Software Reliability Engineering, (Michael Lyu, Eds.), pp. 119-166, McGraw-Hill, New York, 1995.

Beaulieu, M and Mellor, P., "The micro gallery: an evaluation of the hypertext system in the National Gallery London", The New Review of Hypermedia and Multimedia, vol. 1, pp. 233-260, 1995.

Littlewood B.,Neil M., Ostrolenk G., "The role of models in managing the uncertainty of software-intensive systems'", Journal - Reliability Engineering and System Safety, vol. 50(1), pp. 87-95, 1995.

Bishop, P.G., Bloomfield, R.E., "The SHIP Safety Case", Proc. 14th IFAC Conf. on Computer Safety, Reliability and Security (SAFECOMP 95), Belgirate, Italy, 11-13 October, Springer, ISBN 3-540-19962-4, 1995. [more information]

Bishop, P.G., Bloomfield, R.E., "The SHIP Safety Case - A Combination of System and Software Methods", Proc. 14th IFAC Conf. on Safety and Reliability of Software-based Systems (SRSS 95), Brugge, Belgium, 12-15 September, 1995.

Littlewood B.,Neil M., Ostrolenk G., "Uncertainty in software-intensive systems", Journal - High Integrity Systems, vol. 1(5), 1995.

Bertolino A, Strigini L., "Using Testability Measures for Dependability Assessment", Conference Proc. - ACM/IEEE 17th International Conference on Software Engineering ICSE 17, pp. 61-70, Seattle, USA, 1995.