{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:22:59Z","timestamp":1725488579040},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540421238"},{"type":"electronic","value":"9783540451365"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45136-6_4","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T19:53:02Z","timestamp":1186170782000},"page":"49-67","source":"Crossref","is-referenced-by-count":2,"title":["Logic versus Magic in Critical Systems"],"prefix":"10.1007","author":[{"given":"Peter","family":"Amey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,2]]},"reference":[{"issue":"3","key":"4_CR1","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/362929.362947","volume":"11.","author":"E. Dijkstra","year":"1968","unstructured":"Dijkstra, Edsger: Go To Statement Considered Harmful. CACM Vol 11.No. 3 March 1968, pp 147\u2013148.","journal-title":"CACM"},{"unstructured":"RTCA-EUROCAE: Software Considerations in Airborne Systems and Equipment Certification. DO-178B\/ED-12B. 1992.","key":"4_CR2"},{"unstructured":"Ives, Blake and Earl Michael: Mondex International: Reengineering Money. London Business School Case Study 97\/2. See http:\/\/isds.bus.lsu.edu\/cases\/mondex\/mondex.html","key":"4_CR3"},{"issue":"11","key":"4_CR4","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/163359.163373","volume":"36","author":"B. Littlewood","year":"1993","unstructured":"Littlewood, Bev; and Strigini, Lorenzo: Validation of Ultrahigh Dependability for Software-Based Systems. CACM 36(11): 69\u201380 (1993)","journal-title":"CACM"},{"issue":"1","key":"4_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/32.210303","volume":"19","author":"R. W. Butler","year":"1993","unstructured":"Butler, Ricky W.; and Finelli, George B.: The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software. IEEE Transactions on Software Engineering, vol. 19,no. 1, Jan. 1993, pp 3\u201312.","journal-title":"IEEE Transactions on Software Engineering"},{"unstructured":"Littlewood, B: Limits to evaluation of software dependability. In Software Reliability and Metrics (Procedings of Seventh Annual CSR Conference, Garmisch-Partenkirchen). N. Fenton and B. Littlewood. Eds. Elsevier, London, pp. 81\u2013110.","key":"4_CR6"},{"unstructured":"Carr\u00e9, Bernard: Reliable Programming in Standard Languages. In High-integrity Software. RSRE Malvern, Chris Sennett (Ed). ISBN 0-273-03158-9, 1989.","key":"4_CR7"},{"unstructured":"Amey, Peter: The INFORMED Design Method for SPARK. Praxis Critical Systems 1999.","key":"4_CR8"},{"doi-asserted-by":"crossref","unstructured":"Barnes, John: The SPARK Way to Correctness is Via Abstraction. ACM SIGAda 2000","key":"4_CR9","DOI":"10.1145\/369264.369271"},{"issue":"2","key":"4_CR10","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1145\/358549.358561","volume":"24.","author":"C.A.R. Hoare","year":"1981","unstructured":"Professor C.A.R. Hoare, The 1980 Turing award lecture. The Emperor\u2019s Old Clothes. CACM Vol. 24.No.2 February 1981. pp 75\u201383","journal-title":"CACM"},{"unstructured":"Finnie, Gavin et al: SPARK\u2013The SPADE Ada Kernel. Edition 3.3, 1997, Praxis Critical Systems","key":"4_CR11"},{"unstructured":"Finnie, Gavin et al: SPARK 95\u2013The SPADE Ada 95 Kernel. 1999, Praxis Critical Systems","key":"4_CR12"},{"unstructured":"Barnes, John: High Integrity Ada\u2013the SPARK Approach. Addison Wesley Longman, ISBN 0-201-17517-7.","key":"4_CR13"},{"unstructured":"Sutton, James and Carr\u00e9, Bernard: Ada, the Cheapest Way to Build a Line of Business\u201d. 1994","key":"4_CR14"},{"unstructured":"Sutton, James and Carr\u00e9, Bernard: Achieving High Integrity at Low Cost: A Constructive Approach. 1995","key":"4_CR15"},{"key":"4_CR16","series-title":"Lect Notes Comput Sci","volume-title":"Breaking through the V&V Bottleneck","author":"M. Croxford","year":"1996","unstructured":"Croxford, Martin and Sutton, James: Breaking through the V&V Bottleneck. Lecture Notes in Computer Science Volume 1031, 1996."},{"unstructured":"Sutton, James: Cost-Effective Approaches to Satisfy Safety-critical Regulatory Requirements. Workshop Session, SIGAda 2000.","key":"4_CR17"},{"issue":"8","key":"4_CR18","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1109\/32.879807","volume":"26","author":"King","year":"2000","unstructured":"King, Hammond, Chapman and Pryor: Is Proof More Cost-Effective than Testing?. IEEE Transaction on Software Engineering, Vol. 26,No. 8, August 2000, pp 675\u2013686.","journal-title":"IEEE Transaction on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"Bergeretti and Carr\u00e9: Information-flow and data-flow analysis of while-programs. ACM Transactions on Programming Languages and Systems 1985.","key":"4_CR19","DOI":"10.1145\/2363.2366"},{"unstructured":"Santhanam, Viswa; Wright, Peggy A.; Decker-Lindsey, Barbara: Dataflow Coverage in the Boeing 777 Primary Flight Control Software. Boeing 1995","key":"4_CR20"}],"container-title":["Lecture Notes in Computer Science","Reliable SoftwareTechnologies \u2014 Ada-Europe 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45136-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T18:57:28Z","timestamp":1556737048000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45136-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421238","9783540451365"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45136-6_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}