{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:14:26Z","timestamp":1760044466532,"version":"3.38.0"},"publisher-location":"London","reference-count":36,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540760092"},{"type":"electronic","value":"9781447114802"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/978-1-4471-1480-2_5","type":"book-chapter","created":{"date-parts":[[2011,11,28]],"date-time":"2011-11-28T08:06:11Z","timestamp":1322467571000},"page":"71-94","source":"Crossref","is-referenced-by-count":33,"title":["Applying Bayesian Belief Networks to System Dependability Assessment"],"prefix":"10.1007","author":[{"given":"Martin","family":"Neil","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bev","family":"Littlewood","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norman","family":"Fenton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Apostolakis G. The Concept of Probability in Safety Assessments of Technological Systems. Science, vol. 250, December 1990.","DOI":"10.1126\/science.2255906"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Ayton P. On the Competence and Incompetence of Experts. In Expertise and Decision Support (Ed. G. Wright and F. Bolger), pp. 77-105, Plenum Press, 1994.","DOI":"10.1007\/978-0-585-34290-0_5"},{"issue":"6","key":"5_CR3","doi-asserted-by":"publisher","first-page":"758","DOI":"10.1109\/32.6156","volume":"14","author":"V Basili","year":"1988","unstructured":"Basili V. and Rombach D. The TAME project: Towards Improvement-Orientated Software Environments. IEEE Transactions in Software Engineering, Vol. 14, No 6 January, pp. 758\u2013773, 1988.","journal-title":"IEEE Transactions in Software Engineering"},{"key":"5_CR4","unstructured":"Blockley D. I. The Nature of Structural Design and Safety. Ellis Horwood Ltd, 1980."},{"key":"5_CR5","unstructured":"Boehm B.W. Characteristics of Software Quality. TRW Series of Software Technology 1. North-Holland Publishing Company, 1978."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Burnell L. and Horvitz E. Structure and Chance: Melding Logic and Probability for Software Debugging. Communications of the ACM, vol. 38, no.3, 1995.","DOI":"10.1145\/203330.203338"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"de Finetti B. Theory of Probability, Volume 1. John Wiley & Sons, 1974.","DOI":"10.1007\/978-94-010-2288-0_1"},{"key":"5_CR8","unstructured":"The Procurement of Safety Critical Software in Defence Equipment Part 1: Requirements Part 2: Guidance Interim Defence Standard, no 00-55 Issue 1. Ministry of Defence, Directorate of Standardisation, Kentigern House, 65 Brown Street, Glasgow, G2 8EX, UK, 1991."},{"key":"5_CR9","unstructured":"Hazard Analysis and Safety Classification of the Computer and Programmable Electronic System Elements of Defence Equipment. Interim Defence Standard no 00-56 Issue 1. Ministry of Defence, Directorate of Standardisation Kentigern House, 65 Brown Street, Glasgow, G2 8EX, UK, 1991."},{"key":"5_CR10","unstructured":"A Guideline for HAZOP Studies on Systems Which Include A Programmable Electronic System. Interim Defence Standard no 00-58 Issue 1. Ministry of Defence, Directorate of Standardisation, Kentigern House, 65 Brown Street, Glasgow, G2 8EX, UK, 1995."},{"key":"5_CR11","unstructured":"Devine C. Fenton N and Page S. Deficiencies in existing software engineering standards as exposed by SMARTIE. In Safety Critical Systems. (Ed. Redmill F and Anderson T.) Chapman and Hall, pp 255-272, 1993."},{"key":"5_CR12","unstructured":"Preliminary Standard, DIN0801 DIN-V\/VDE 0801. Principles for Computers in Safety-Related Systems, 1989."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Fenton N.E. Pfleeger L and Glass R. Science and Substance: A Challenge to Software Engineers. IEEE Software, pp. 86-95, My 1994.","DOI":"10.1109\/52.300094"},{"key":"5_CR14","volume-title":"Software Failure Modes and Effects Analysis. Proceedings of Industry\/Space and Missile Systems Organisation Conference and Workshop on Mission Assurance","author":"A Frimtzis","year":"1978","unstructured":"Frimtzis A. Lipow M. and Reifer DJ. Software Failure Modes and Effects Analysis. Proceedings of Industry\/Space and Missile Systems Organisation Conference and Workshop on Mission Assurance. Los Angeles, California, April 1978."},{"key":"5_CR15","unstructured":"HUGIN Expert A\/S. P.O. Box 8201 DK-9220 Aalborg, Denmark."},{"key":"5_CR16","unstructured":"Functional Safety of Programmable Electronic Systems: Generic Aspects. International Electrotechnical Commission. Technical Committee no. 65, Working Group 10 (WG10), type DEC no 65A (Secretariat), February, 1992."},{"key":"5_CR17","unstructured":"Software for Computers in the Application of Industrial Safety Related Systems. International Electrotechnical Commission Technical Committee no. 65 Working Group 9 (WG9) DEC no 65A (Secretariat), Version 1.0 August 1991."},{"key":"5_CR18","unstructured":"IEEE Standard 1061: Software Quality Metrics Methodology, 1991."},{"key":"5_CR19","unstructured":"ISO (International Organisation for Standardisation). Information Technology \u2014 Software Product Evaluation \u2014 Quality characteristics and guidelines for their use \u2014 ISO9126. 1991."},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Laprie, J.C. (Ed.) Dependability: Basic Concepts and Terminology. IFIP WG 10.4 Dependable Computing and Fault Tolerance. Springer-Verlag, Vienna, 1992.","DOI":"10.1007\/978-3-7091-9170-5"},{"issue":"2","key":"5_CR21","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1111\/j.2517-6161.1988.tb01721.x","volume":"50","author":"SL Lauritzen","year":"1988","unstructured":"Lauritzen S. L. and Spiegelhalter DJ. Local Computations with Probabilities on Graphical Structures and their Application to Expert Systems (with discussion). J. R. Statis. Soc. B, 50, No 2, pp 157\u2013224, 1988.","journal-title":"J. R. Statis. Soc. B"},{"key":"5_CR22","unstructured":"Leveson N.G. Safeware: System Safety and Computers, a guide to preventing accidents and losses caused by technology. Addison-Wesley Publishing company, 1995."},{"issue":"1","key":"5_CR23","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1214\/ss\/1177013427","volume":"2","author":"DV Lindley","year":"1987","unstructured":"Lindley D.V. The Probability Approach to the Treatment of Uncertainty in Artificial Intelligence and Expert Systems. Statistical Science, Vol 2, No 1,pp 17\u201324, 1987.","journal-title":"Statistical Science"},{"key":"5_CR24","volume-title":"directions in safety critical systems \u2014 proceedings of the first safety-critical systems symposium","author":"B Littlewood","year":"1993","unstructured":"Littlewood B. The need for evidence from disparate sources to evaluate safety. In directions in safety critical systems \u2014 proceedings of the first safety-critical systems symposium (eds. F. Redmill and T. Anderson). Springer-Verlag, London, 1993."},{"key":"5_CR25","first-page":"69","volume":"36","author":"Validation of Ultra-High Dependability for software-based Systems","year":"1993","unstructured":"Validation of Ultra-High Dependability for software-based Systems. Communications of the ACM, 36, 11, pp.69-80, 1993.","journal-title":"Communications of the ACM"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Littlewood B. Neil M. and Ostrolenk G. Uncertainty in Software-Intensive Systems. Accepted for publication in High-Integrity Systems Journal, 1995.","DOI":"10.1016\/0951-8320(95)00073-B"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Littlewood B. Neil M. and Ostrolenk G. The Role of Models in Managing Uncertainty of Software-Intensive Systems. Accepted for publication by Reliability Engineering and System Safety Journal, 1995.","DOI":"10.1016\/0951-8320(95)00073-B"},{"key":"5_CR28","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/TSE.1976.233837","volume":"2","author":"TJ McCabe","year":"1976","unstructured":"McCabe T. J. A Complexity Measure, IEEE Transactions In Software Engineering, vol. 2, no 4, p 308\u2013320, 1976.","journal-title":"IEEE Transactions In Software Engineering"},{"issue":"2","key":"5_CR29","first-page":"101","volume":"1","author":"P Mellor","year":"1994","unstructured":"Mellor, P. CAD: Computer Aided Disasters. High Integrity Systems. Volume 1, number 2, pp. 101\u2013156. 1994.","journal-title":"High Integrity Systems"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Pearl J. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufman, 1988.","DOI":"10.1016\/B978-0-08-051489-5.50008-4"},{"key":"5_CR31","unstructured":"Perrow C. Normal Accidents: Living with High-Risk Technologies, Basic Books, 1984."},{"key":"5_CR32","unstructured":"Rae A. Robert P. and Hausen H. (Eds.) Software Evaluation for Certification: Principles, Practice and Legal Liability. McGraw Hill, International Software Quality Assurance Series, London, 1995."},{"key":"5_CR33","unstructured":"Smith D. and Lloyd. D. Wither Objectivity: Technocracy and the Social Construction of Risk. In proceedings of the safety and reliability society symposium on engineers and risk issues (Ed. Cox R.F. and Watson I.A.), Altrincham, October 1993."},{"key":"5_CR34","unstructured":"Guide to Software Quality Management, System Construction and Certification using ISO 9001\/EN 29001\/BS 5750, Issue 2.0. DTI, available from TickIT Project Office, 68 Newman Street, London W1A 4SE, 1992."},{"key":"5_CR35","unstructured":"Walters G.F. and McCall J.A. Development of Metrics for Reliability and Maintainability. Proceedings Annual Reliability and Maintainability Symposium, IEEE, 1978."},{"key":"5_CR36","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/0951-8320(94)90142-2","volume":"45","author":"SR Watson","year":"1994","unstructured":"Watson S. R. The meaning of Probability in Probabilistic Safety Analysis. Reliability Engineering and System Safety, 45, pp.261\u2013269, Elsevier Science Ltd, 1994.","journal-title":"Reliability Engineering and System Safety"}],"container-title":["Safety-Critical Systems: The Convergence of High Tech and Human Factors"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-1480-2_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T15:25:32Z","timestamp":1741965932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-1480-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540760092","9781447114802"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-1480-2_5","relation":{},"subject":[],"published":{"date-parts":[[1996]]}}}