{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:04:08Z","timestamp":1754481848678},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540607571"},{"type":"electronic","value":"9783540493624"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0015506","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T07:07:57Z","timestamp":1131865677000},"page":"344-354","source":"Crossref","is-referenced-by-count":8,"title":["Breaking through the V and V bottleneck"],"prefix":"10.1007","author":[{"given":"Martin","family":"Croxford","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Sutton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"29_CR1","unstructured":"Ada 95 Reference Manual, ISO\/IEC 8652:1995(E)-RM95; version 6.0, December 1994. (See especially Annex H \u201cSafety and Security\u201d.)"},{"key":"29_CR2","volume-title":"Report NRL\/FR\/5530-92-9194","author":"Alspaugh","year":"1992","unstructured":"Alspaugh, S. Faulk, K. Heninger Britton, R. Parker, D. Parnas, J. Shore: Software Requirements for the A7-E Aircraft. Report NRL\/FR\/5530-92-9194. Naval Research Laboratory, Washington, D.C., 1992."},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"B.A. Carr\u00e9, J.R. Garnsworthy: SPARK \u2014 An annotated Ada subset for safetycritical programming. In: Proceedings of Tri-Ada Conference, Baltimore, December 1990.","DOI":"10.1145\/255471.255563"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"S. Faulk, L. Finneran, J. Kirby, Jr., S. Shah, J. Sutton: Experience applying the CoRE method to the Lockheed C-130J software requirements. In: Proceedings of Ninth Annual Conference on Computer Assurance, Gaithersburg, MD, 1994, pp.3\u20138.","DOI":"10.1109\/CMPASS.1994.318472"},{"key":"29_CR5","unstructured":"J.R. Garnsworthy, I.M. O'Neill, B.A. Carr\u00e9: Automatic proof of absence of runtime errors. In: Proceedings of Ada UK Conference, London Docklands, October 1993."},{"key":"29_CR6","volume-title":"The Formal Semantics of SPARK (Volume 1: Static Semantics; Volume 2: Dynamic Semantics)","author":"Program Validation Ltd.","year":"1994","unstructured":"Program Validation Ltd.: The Formal Semantics of SPARK (Volume 1: Static Semantics; Volume 2: Dynamic Semantics). Praxis PVL, 20 Manvers Street, Bath BA1 IPX, U.K., 1994."},{"key":"29_CR7","unstructured":"RTCA: Software Considerations in Airborne Systems and Equipment Certification. RTCA\/DO-178B, 1994"},{"key":"29_CR8","volume-title":"SPC-92060-CMC","author":"Software Productivity Consortium","year":"1993","unstructured":"Software Productivity Consortium: Consortium Requirements Engineering Guidebook, SPC-92060-CMC version 01.00.09. Software Productivity Consortium, Herndon, VA, U.S., 1993"},{"key":"29_CR9","volume-title":"SPC-94107-N","author":"Software Productivity Consortium","year":"1991","unstructured":"Software Productivity Consortium: ADARTS Guidebook, SPC-94107-N, version 02.01.00 Software Productivity Consortium, Herndon, VA, U.S., 1991."}],"container-title":["Lecture Notes in Computer Science","Ada in Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0015506","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T20:52:37Z","timestamp":1586551957000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0015506"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540607571","9783540493624"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0015506","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}