{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T01:45:02Z","timestamp":1648691102192},"reference-count":31,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1994,8,1]],"date-time":"1994-08-01T00:00:00Z","timestamp":775699200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[1994,8]]},"DOI":"10.1016\/0164-1212(94)90082-5","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T13:06:23Z","timestamp":1062594383000},"page":"103-115","source":"Crossref","is-referenced-by-count":5,"title":["Assessing traditional verification's effectiveness on safety-critical software systems"],"prefix":"10.1016","volume":"26","author":[{"given":"Lon D","family":"Gowen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James S","family":"Collofello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(94)90082-5_BIB1","first-page":"4","article-title":"Traffic Light Outages in Austin","volume":"15","author":"Ables","year":"1990","journal-title":"ACM Software Eng. Not."},{"key":"10.1016\/0164-1212(94)90082-5_BIB2","first-page":"64","article-title":"Software Engineering Environments: Concepts and Technology","author":"Charette","year":"1986"},{"key":"10.1016\/0164-1212(94)90082-5_BIB3","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0950-5849(90)90001-8","article-title":"Software and Safety: How Compatible are They","volume":"32","author":"Chudleigh","year":"1990","journal-title":"nfo. Software Technol."},{"key":"10.1016\/0164-1212(94)90082-5_BIB4","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1049\/sej.1991.0007","article-title":"The Choice of Computer Languages for use in Safety-Critical Systems","volume":"6","author":"Cullyer","year":"1991","journal-title":"Software Eng. J."},{"key":"10.1016\/0164-1212(94)90082-5_BIB5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/TSE.1986.6312914","article-title":"Certifying the Reliability of Software","volume":"12","author":"Currit","year":"1986","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(94)90082-5_BIB6","article-title":"Software Safety: A User's Practical Perspective","author":"Dunn","year":"1990","journal-title":"NASA Tech Brief ARC-12710"},{"key":"10.1016\/0164-1212(94)90082-5_BIB7","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0164-1212(87)90015-X","article-title":"A Formal Approach to Software Error Removal","volume":"7","author":"Dyer","year":"1987","journal-title":"J. Syst. Software"},{"key":"10.1016\/0164-1212(94)90082-5_BIB8","series-title":"SEB6-A: System Safety Engineering in Software Development","author":"Electronic Industries Association","year":"1990"},{"key":"10.1016\/0164-1212(94)90082-5_BIB9","series-title":"Proceedings of the IEEE Southeastcon","first-page":"505","article-title":"Analyzing high-level designs for safety-critical software systems","author":"Gowen","year":"1993"},{"key":"10.1016\/0164-1212(94)90082-5_BIB10","series-title":"Proceedings of the 11th Annual IEEE International Phoenix Conference on Computers and Communications","first-page":"501","article-title":"Preliminary hazard analysis for safety-critical software systems","author":"Gowen","year":"1992"},{"key":"10.1016\/0164-1212(94)90082-5_BIB11","series-title":"Proceedings of the ISCA International Conference","first-page":"143","article-title":"Testing safety-critical software systems","author":"Gowen","year":"1992"},{"key":"10.1016\/0164-1212(94)90082-5_BIB12","first-page":"88","article-title":"Software Bugs: A Matter of Life and Liability","volume":"33","author":"Joyce","year":"1987","journal-title":"Datamation"},{"key":"10.1016\/0164-1212(94)90082-5_BIB13","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1109\/TSE.1986.6312924","article-title":"An Experimental Evaluation of the Assumption of Independence in Multiversion Programming","volume":"12","author":"Knight","year":"1986","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(94)90082-5_BIB14","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1145\/7474.7528","article-title":"Software Safety: Why, What, and How","volume":"18","author":"Leveson","year":"1986","journal-title":"ACM Comp. Surv."},{"key":"10.1016\/0164-1212(94)90082-5_BIB15","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1109\/52.60589","article-title":"The Challenge of Building Process-Control Software","volume":"7","author":"Leveson","year":"1990","journal-title":"IEEE Software"},{"key":"10.1016\/0164-1212(94)90082-5_BIB16","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1145\/102792.102799","article-title":"Software Safety in Embedded Computer Systems","volume":"34","author":"Leveson","year":"1991","journal-title":"Commun. ACM"},{"key":"10.1016\/0164-1212(94)90082-5_BIB17","series-title":"Ada Run-Time Environment Working Group: Proceedings from the Software Safety Symposium","first-page":"35","volume":"13","author":"Leveson","year":"1993"},{"key":"10.1016\/0164-1212(94)90082-5_BIB18","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1109\/TSE.1983.235116","article-title":"Analyzing Software Safety","volume":"9","author":"Leveson","year":"1983","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(94)90082-5_BIB19","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1049\/sej.1991.0008","article-title":"Testing\u2014A Challenge to Method and Tool Developers","volume":"6","author":"Ould","year":"1991","journal-title":"Software Eng. J."},{"key":"10.1016\/0164-1212(94)90082-5_BIB20","doi-asserted-by":"crossref","first-page":"636","DOI":"10.1145\/78973.78974","article-title":"Evaluation of Safety-Critical Software","volume":"33","author":"Parnas","year":"1990","journal-title":"Commun. ACM"},{"key":"10.1016\/0164-1212(94)90082-5_BIB21","first-page":"467","article-title":"Software Engineering: A Practitioner's Approach","author":"Pressman","year":"1987"},{"key":"10.1016\/0164-1212(94)90082-5_BIB22","series-title":"DO-178A: Software Considerations in Airborne Systems and Equipment Certification","author":"Radio Technical Commission for Aeronautics","year":"1985"},{"key":"10.1016\/0164-1212(94)90082-5_BIB23","series-title":"DO-178B.3: Software Considerations in Airborne Systems and Equipment Certification","author":"Radio Technical Commission for Aeronautics","year":"1991"},{"key":"10.1016\/0164-1212(94)90082-5_BIB24","first-page":"55","article-title":"High-Integrity Software","author":"Sennett","year":"1989"},{"key":"10.1016\/0164-1212(94)90082-5_BIB25","first-page":"16","article-title":"Software Engineering","author":"Sommerville","year":"1989"},{"key":"10.1016\/0164-1212(94)90082-5_BIB26","series-title":"MoD 00-55: Requirements for the Procurement of Safety Critical Software in Defence Equipment","author":"United Kingdom Ministry of Defence","year":"1991"},{"key":"10.1016\/0164-1212(94)90082-5_BIB27","series-title":"MoD 00-56: Requirements for the Analysis of Safety Critical Hazards","author":"United Kingdom Ministry of Defence","year":"1991"},{"key":"10.1016\/0164-1212(94)90082-5_BIB28","series-title":"MIL-STD-882B: System Safety Program Requirements","author":"U.S. Department of Defense","year":"1984"},{"key":"10.1016\/0164-1212(94)90082-5_BIB29","series-title":"DOD-STD-2167A: Defense System Software Development","author":"U.S. Department of Defense","year":"1988"},{"key":"10.1016\/0164-1212(94)90082-5_BIB30","series-title":"MIL-STD-1574A: System Safety Program for Space and Missile Systems","author":"U.S. Department of Defense","year":"1989"},{"key":"10.1016\/0164-1212(94)90082-5_BIB31","series-title":"Proceedings of the ISCA International Conference","first-page":"130","article-title":"Using causal analysis in software safety development","author":"Yap","year":"1993"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121294900825?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121294900825?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T05:59:43Z","timestamp":1551074383000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0164121294900825"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,8]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,8]]}},"alternative-id":["0164121294900825"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(94)90082-5","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1994,8]]}}}