{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:56:42Z","timestamp":1725454602424},"reference-count":23,"publisher":"Association for Computing Machinery (ACM)","issue":"11","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[1993,11]]},"DOI":"10.1145\/163359.163373","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T11:32:13Z","timestamp":1027769533000},"page":"69-80","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":197,"title":["Validation of ultrahigh dependability for software-based systems"],"prefix":"10.1145","volume":"36","author":[{"given":"Bev","family":"Littlewood","sequence":"first","affiliation":[{"name":"City Univ., London, UK"}]},{"given":"Lorenzo","family":"Strigini","sequence":"additional","affiliation":[{"name":"Italian National Research Council, Pisa, Italy"}]}],"member":"320","published-online":{"date-parts":[[1993,11]]},"reference":[{"key":"e_1_2_1_1_2","doi-asserted-by":"publisher","DOI":"10.5555\/12868.12875"},{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1147\/rd.281.0002"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231894"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1984.1659219"},{"key":"e_1_2_1_5_2","first-page":"844","article-title":"Mathematical proofs of computer system correctness","volume":"36","author":"Barwise J","year":"1989","unstructured":"Barwise . J . Mathematical proofs of computer system correctness . Not. AMS 36 ( Sept. 1989 ), 844 - 851 . Barwise. J. Mathematical proofs of computer system correctness. Not. AMS 36 (Sept. 1989), 844-851.","journal-title":"Not. AMS"},{"key":"e_1_2_1_6_2","first-page":"1","volume-title":"Proceedings of the Eighteenth International Symposium on fault- Tolerant Computing","author":"Bishop P.G.","year":"1988","unstructured":"Bishop , P.G. and Pullen , F.D . PODS revisited-A study of software failure behavior . In Proceedings of the Eighteenth International Symposium on fault- Tolerant Computing , ( Tokyo, Japan , 1988 ). pp. 1 - 8 . Bishop, P.G. and Pullen, F.D. PODS revisited-A study of software failure behavior. In Proceedings of the Eighteenth International Symposium on fault- Tolerant Computing, (Tokyo, Japan, 1988). pp.1-8."},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312914"},{"key":"e_1_2_1_8_2","volume-title":"Optimal Statistical Decisions","author":"de Groot M.H.","year":"1970","unstructured":"de Groot < M.H. Optimal Statistical Decisions . McGraw-Hill , New York , 1970 . de Groot< M.H. Optimal Statistical Decisions. McGraw-Hill, New York, 1970."},{"key":"e_1_2_1_9_2","unstructured":"Federal Aviation Administration Advisory Circular AC 25 1309-IA. Federal Aviation Administration Advisory Circular AC 25 1309-IA."},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1016\/0951-8320(88)90109-3"},{"key":"e_1_2_1_11_2","first-page":"392","volume-title":"Italy","author":"Giloth F.K.","year":"1983","unstructured":"Giloth . F.K. and prantzen, K.D. can the freliability of digital telecommunication switching systems be predicted and measured In proceedings of the Thirteenth International symposium on Fault-tolerant Computin, (Milano , Italy , 1983 ), pp. 392 - 397 . Giloth. F.K. and prantzen, K.D. can the freliability of digital telecommunication switching systems be predicted and measured In proceedings of the Thirteenth International symposium on Fault-tolerant Computin, (Milano, Italy, 1983), pp. 392-397."},{"key":"e_1_2_1_12_2","first-page":"165","volume-title":"proceedings of the Sixteenth International symposium on fault-Tolerant Computing","author":"Knight J.C.","year":"1986","unstructured":"Knight , J.C. and Leveson . N.G. An empircal study of failure probabilities in multi-version software . In proceedings of the Sixteenth International symposium on fault-Tolerant Computing ( Vienna, Austria , 1986 ), pp. 165 - 170 . Knight, J.C. and Leveson. N.G. An empircal study of failure probabilities in multi-version software. In proceedings of the Sixteenth International symposium on fault-Tolerant Computing (Vienna, Austria, 1986), pp. 165- 170."},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/102792.102799"},{"key":"e_1_2_1_14_2","first-page":"81","volume-title":"Garmisch-Partenkirchen)","author":"Littlewood B.","unstructured":"Littlewood , B. Limits toevaluation of software dependabillity. In software Reliabilityy and Metrics (Proceedings of Seventh Annual CSR Conference , Garmisch-Partenkirchen) , N. Fenton and B. Littlewood. Eds. Elsevier, London . pp. 81 - 110 . Littlewood, B. Limits toevaluation of software dependabillity. In software Reliabilityy and Metrics (Proceedings of Seventh Annual CSR Conference, Garmisch-Partenkirchen), N. Fenton and B. Littlewood. Eds. Elsevier, London. pp. 81-110."},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.58771"},{"key":"e_1_2_1_16_2","first-page":"135","volume-title":"The role of statistical modeling and inferernce insoftware quality assurance","author":"Miller D.R.","year":"1989","unstructured":"Miller , D.R. The role of statistical modeling and inferernce insoftware quality assurance . In Software Certification Elsevier , Barking, Essex, UK , 1989 , pp. 135 - 152 . Miller, D.R. The role of statistical modeling and inferernce insoftware quality assurance. In Software Certification Elsevier, Barking, Essex, UK, 1989, pp. 135-152."},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/78973.78974"},{"key":"e_1_2_1_18_2","volume-title":"Normal Accidents--Living with High Risk Technologies","author":"Perrow C.","year":"1984","unstructured":"Perrow , C. Normal Accidents--Living with High Risk Technologies , Basic Books , New York , 1984 . Perrow, C. Normal Accidents--Living with High Risk Technologies, Basic Books, New York, 1984."},{"key":"e_1_2_1_19_2","first-page":"186","volume-title":"Proceedings of the Twenty-Second International Aymposium on Fault-Tolerant Computing","author":"Powell D.","year":"1992","unstructured":"Powell . D. Failure mode and assumption coverage . In Proceedings of the Twenty-Second International Aymposium on Fault-Tolerant Computing ( Boston. Mass. , 1992 ), pp. 186 - 395 . Powell. D. Failure mode and assumption coverage. In Proceedings of the Twenty-Second International Aymposium on Fault-Tolerant Computing (Boston. Mass., 1992), pp. 186-395."},{"key":"e_1_2_1_20_2","volume-title":"July 27, 1992. RTCA, (Requirements and Technical Concepts for Aviation), 1140 Connecticut Ave, NW, Suite 1020, Washington DC 20036.","author":"RTCA Committee SC-176, Software Considerations in","unstructured":"RTCA Committee SC-176, Software Considerations in Airbornbe systems and Equipment Certification. Draft DO-178-B.7 , July 27, 1992. RTCA, (Requirements and Technical Concepts for Aviation), 1140 Connecticut Ave, NW, Suite 1020, Washington DC 20036. RTCA Committee SC-176, Software Considerations in Airbornbe systems and Equipment Certification. Draft DO-178-B.7, July 27, 1992. RTCA, (Requirements and Technical Concepts for Aviation), 1140 Connecticut Ave, NW, Suite 1020, Washington DC 20036."},{"key":"e_1_2_1_21_2","volume-title":"Doc. DO178A\/EUROCAE ED-12A.","year":"1985","unstructured":"RTCA\/EUROCAE : (Radio Technical Commission for Aeronauticds and European Organization for Civil Aviation Electonics). Software Consideratopms om Airborne Systems and Equipment Certification , Doc. DO178A\/EUROCAE ED-12A. 1985 . RTCA\/EUROCAE: (Radio Technical Commission for Aeronauticds and European Organization for Civil Aviation Electonics). Software Consideratopms om Airborne Systems and Equipment Certification, Doc. DO178A\/EUROCAE ED-12A. 1985."},{"key":"e_1_2_1_22_2","volume-title":"Nuclear Installations Inspectrorate, Issue 1 (draft)","author":"Wainwright N.","year":"1991","unstructured":"Wainwright , N. Software aspects of digital computer based protection systems. Assessment Guide AG3 , Nuclear Installations Inspectrorate, Issue 1 (draft) , 1991 . Wainwright, N. Software aspects of digital computer based protection systems. Assessment Guide AG3, Nuclear Installations Inspectrorate, Issue 1 (draft), 1991."},{"key":"e_1_2_1_23_2","volume-title":"Judgemental Forecasting","author":"Wright G.","year":"1987","unstructured":"Wright , G. and Ayton , P . Judgemental Forecasting . Wiley and Sons , Chocjester . UK. 1987 . Wright, G. and Ayton, P. Judgemental Forecasting. Wiley and Sons, Chocjester. UK. 1987."}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/163359.163373","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,29]],"date-time":"2022-12-29T07:05:54Z","timestamp":1672297554000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/163359.163373"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,11]]},"references-count":23,"journal-issue":{"issue":"11","published-print":{"date-parts":[[1993,11]]}},"alternative-id":["10.1145\/163359.163373"],"URL":"https:\/\/doi.org\/10.1145\/163359.163373","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"value":"0001-0782","type":"print"},{"value":"1557-7317","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,11]]},"assertion":[{"value":"1993-11-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}