{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:40:36Z","timestamp":1725486036520},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437840"},{"type":"electronic","value":"9783540480464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48046-3_12","type":"book-chapter","created":{"date-parts":[[2007,6,13]],"date-time":"2007-06-13T00:48:07Z","timestamp":1181695687000},"page":"151-162","source":"Crossref","is-referenced-by-count":1,"title":["Closing the Loop: The Influence of Code Analysis on Design"],"prefix":"10.1007","author":[{"given":"Peter","family":"Amey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,5,29]]},"reference":[{"key":"12_CR1","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."},{"key":"12_CR2","unstructured":"Sutton, James. Cost-Effective Approaches to Satisfy Safety-critical Regulatory Requirements. Workshop Session, SIGAda 2000."},{"key":"12_CR3","unstructured":"B.D. Bramson. Malvern\u2019s Program Analysers. RSRE Research Review 1984."},{"key":"12_CR4","unstructured":"Bernard Carr\u00e9. Program Analysis and Verification in High Integrity Software. Chris Sennett (Ed). Pitman. ISBN 0-273-03158-9."},{"key":"12_CR5","unstructured":"C. Daniel Cooper. Ada Code Analysis: Technology, Experience, and Issues. Proceedings SIGAda 2000."},{"key":"12_CR6","unstructured":"Finnie, Gavin et al. SPARK-The SPADE Ada Kernel. Edition 3.3, 1997, Praxis Critical Systems."},{"key":"12_CR7","unstructured":"Finnie, Gavin et al. SPARK 95-The SPADE Ada 95 Kernel. 1999, Praxis Critical Systems."},{"key":"12_CR8","unstructured":"Barnes, John. High Integrity Ada-the SPARK Approach. Addison Wesley Longman, ISBN 0-201-17517-7."},{"issue":"8","key":"12_CR9","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"},{"key":"12_CR10","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, pp. 37\u201361.","DOI":"10.1145\/2363.2366"},{"key":"12_CR11","unstructured":"Amey, Peter. The INFORMED Design Method for SPARK. Praxis Critical Systems 1999, 2001."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"D.L. Parnas and J. Madey. Functional Documentation for Computer Systems, in Science of Computer Programming. October 1995. pp. 41\u201361.","DOI":"10.1016\/0167-6423(95)96871-J"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Amey, Peter. A Language for Systems not Just Software. Proceedings, SIGAda 2001.","DOI":"10.1145\/507574.507578"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48046-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T02:10:45Z","timestamp":1556503845000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48046-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437840","9783540480464"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-48046-3_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}