{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:36:45Z","timestamp":1725557805815},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642135491"},{"type":"electronic","value":"9783642135507"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13550-7_17","type":"book-chapter","created":{"date-parts":[[2010,6,15]],"date-time":"2010-06-15T15:14:12Z","timestamp":1276614852000},"page":"238-250","source":"Crossref","is-referenced-by-count":0,"title":["Towards Ada 2012: An Interim Report"],"prefix":"10.1007","author":[{"given":"Edmond","family":"Schonberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Ada Reference Manual","author":"S. Tucker Taft","year":"2006","unstructured":"Tucker Taft, S., Duff, R.A., Brukardt, R.L., Ploedereder, E., Leroy, P.: Ada Reference Manual. LNCS, vol.\u00a04348. Springer, Heidelberg (2006)"},{"key":"17_CR2","volume-title":"UML distilled","author":"M. Fowler","year":"2004","unstructured":"Fowler, M.: UML distilled, 3rd edn. Pearson Education, Boston (2004)","edition":"3"},{"key":"17_CR3","volume-title":"The SPARK approach to Safety and Security","author":"J. Barnes","year":"2003","unstructured":"Barnes, J.: High Integrity Software. In: The SPARK approach to Safety and Security, Pearson Education, Boston (2003)"},{"key":"17_CR4","unstructured":"Special issue of Ada Letters on the proceedings of IRTAW-14, Portovenere, Italy (2009) (in press)"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"S\u00e1ez, S., Crespo, A.: Preliminary Support of Ada2012 in GNU\/Linux systems: Ada-Europe 2010. LNCS (2010) (these proceedings)","DOI":"10.1007\/978-3-642-13550-7_5"},{"issue":"2","key":"17_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/997119.997120","volume":"XXIV","author":"A. Burns","year":"2004","unstructured":"Burns, A., Dobbing, B., Vardanega, T.: Guide for the use of the Ada Ravenscar Profile in High Integrity Systems. Ada Letters\u00a0XXIV(2), 1\u201374 (2004)","journal-title":"Ada Letters"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologiey \u2013 Ada-Europe 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13550-7_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:39:54Z","timestamp":1606185594000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13550-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135491","9783642135507"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13550-7_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}