{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:28:02Z","timestamp":1725506882317},"publisher-location":"Boston, MA","reference-count":7,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402081569"},{"type":"electronic","value":"9781402081576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-8157-6_46","type":"book-chapter","created":{"date-parts":[[2008,4,7]],"date-time":"2008-04-07T16:54:40Z","timestamp":1207587280000},"page":"511-520","source":"Crossref","is-referenced-by-count":0,"title":["Improving Certification Capability through Automatic Code Generation"],"prefix":"10.1007","author":[{"given":"Neil","family":"Audsley","sequence":"first","affiliation":[]},{"given":"Iain","family":"Bate","sequence":"additional","affiliation":[]},{"given":"Steven","family":"Crook-Dawkins","sequence":"additional","affiliation":[]},{"given":"John","family":"McDermid","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"46_CR1","doi-asserted-by":"crossref","unstructured":"Whalen M W, Heimdhal Mats P.E., On the Requirements of High-Integrity Code Generation, Proceedings of the Fourth High Assurance in Systems Engineering Workshop, Washington DC, November 1999","DOI":"10.1109\/HASE.1999.809497"},{"key":"46_CR2","doi-asserted-by":"crossref","unstructured":"O\u2019Halloran C Issues for the automatic generation of safety critical software, Proceedings of the Fifteenth International IEEE Conference on Automated Software Engineering (ASE 2000), France, September 2000","DOI":"10.1109\/ASE.2000.873677"},{"key":"46_CR3","unstructured":"RTCA and EUROCAE, Software Considerations in Airborne Systems and Equipment Certification, Radio Technical Commission for Aeronautics RTCA DO178B\/EUROCAE ED 12B, 1993"},{"key":"46_CR4","volume-title":"Simpson A COTS Software for High Integrity Applications","author":"T. Murray","year":"2001","unstructured":"Murray T, Simpson A COTS Software for High Integrity Applications, 36 th Seminar of the Safety Critical Systems Club COTS & SOUP: Current thinking and Work In Progress, IEE London, April 5 th 2001."},{"key":"46_CR5","unstructured":"Kletz, T. Hazop and Hazan: Identifying and Assessing Process Industry Hazards, Institute of Chemical Engineers, 3 rd Edition, 1992."},{"key":"46_CR6","series-title":"YCST","volume-title":"Arguing Safety \u2014 A Systematic Approach to Managing Safety Cases","author":"T. P. Kelly","year":"1998","unstructured":"Kelly, T. P. Arguing Safety \u2014 A Systematic Approach to Managing Safety Cases, DPhil Thesis, Department of Computer Science,University of York, UK, YCST 99\/05, September 1998"},{"key":"46_CR7","unstructured":"Bate I, Audsley N, Crook-Dawkins S, Automatic Code Generation for Airborne Systems \u2014 the Next Generation of Software Productivity Tools, Proceedings of IEEE Aerospace Conference, 11\u201319,2003."}],"container-title":["IFIP International Federation for Information Processing","Building the Information Society"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8157-6_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,29]],"date-time":"2021-04-29T05:08:20Z","timestamp":1619672900000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8157-6_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781402081569","9781402081576"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8157-6_46","relation":{},"subject":[]}}