{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:51:40Z","timestamp":1725573100898},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540262862"},{"type":"electronic","value":"9783540316664"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11499909_5","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T16:56:28Z","timestamp":1292864188000},"page":"51-66","source":"Crossref","is-referenced-by-count":5,"title":["A New Strategy for the HRT-HOOD to Ada Mapping"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Bordin","sequence":"first","affiliation":[]},{"given":"Tullio","family":"Vardanega","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Burns, A., Wellings, A.: HRT-HOOD: A Structured Design Method for Hard Real-Time Systems. Elsevier Science, Amsterdam (1995) ISBN 0-444-82164-3"},{"key":"5_CR2","volume-title":"Generative Programming: Methods, Tools and Applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Tools and Applications. Addison-Wesley, Reading (2000) ISBN: 0201309777"},{"key":"5_CR3","unstructured":"OMG: Model Driven Architecture (2004), \n                    \n                      http:\/\/www.omg.org\/mda"},{"key":"5_CR4","series-title":"Kluwer International Series in Engineering and Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2231-4","volume-title":"Synchronous Programming of Reactive Systems","author":"N. Halbwachs","year":"1993","unstructured":"Halbwachs, N.: Synchronous Programming of Reactive Systems. Kluwer International Series in Engineering and Computer Science, vol.\u00a0215. Kluwer Academic Publishers, Dordrecht (1993) ISBN: 0792393112"},{"key":"5_CR5","unstructured":"ESTEREL Technologies: Safety- Mission- and Business-Critical Embedded Software (2005), \n                    \n                      http:\/\/www.esterel-technologies.com\/v3\/?id=39425"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Consolidated Ada Reference Manual. Language and Standard Libraries","year":"2001","unstructured":"Taft, T., Duff, R., Brukard, R., Ploedereder, E. (eds.): Consolidated Ada Reference Manual. Language and Standard Libraries. LNCS, vol.\u00a02219. Springer, Heidelberg (2001) ISO\/IEC 8652:1995"},{"key":"#cr-split#-5_CR7.1","unstructured":"Burns, A., Dobbing, B., Vardanega, T.: Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems. Technical Report YCS-2003-348, University of York (UK) (2003);"},{"key":"#cr-split#-5_CR7.2","unstructured":"Approved as ISO\/IEC JTC1\/SC22 TR 42718"},{"key":"5_CR8","unstructured":"Ada Conformity Assessment Authority: International Standard ISO\/IEC 8652:1995 - Information Technology - Programming Languages - Ada - Amendment 1, Draft 8 (2004), \n                    \n                      http:\/\/www.ada-auth.org\/amendment.html"},{"key":"5_CR9","volume-title":"Real-Time Systems","author":"J.W.S. Liu","year":"2000","unstructured":"Liu, J.W.S.: Real-Time Systems. Prentice-Hall, Englewood Cliffs (2000)"},{"key":"5_CR10","unstructured":"OMG: UML 1.5 Specification (2001), \n                    \n                      http:\/\/www.uml.org\/#UML1.5"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/3-540-44947-7_31","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2003","author":"S. Mazzini","year":"2003","unstructured":"Mazzini, S., D\u2019Alessandro, M., Di Natale, M., Domenici, A., Lipari, G., Vardanega, T.: HRT-UML: Taking HRT-HOOD onto UML. In: Rosen, J.-P., Strohmeier, A. (eds.) Ada-Europe 2003. LNCS, vol.\u00a02655, pp. 405\u2013416. Springer, Heidelberg (2003)"},{"key":"5_CR12","unstructured":"Praxis High Integrity Systems: The SPARK Examiner (2005), \n                    \n                      http:\/\/www.praxis-cs.co.uk\/sparkada\/examiner.asp"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/BFb0013479","volume-title":"Reliable Software Technologies - Ada Europe 96","author":"J.A. Puente de la","year":"1996","unstructured":"de la Puente, J.A., Alonso, A., Alvarez, A.: Mapping HRT-HOOD Designs to Ada 95 Hierarchical Libraries. In: Strohmeier, A. (ed.) Ada-Europe 1996. LNCS, vol.\u00a01088, pp. 78\u201388. Springer, Heidelberg (1996)"},{"key":"5_CR14","unstructured":"W3C: XSL Transformations, XSLT (2005), \n                    \n                      http:\/\/www.w3.org\/TR\/xslt"},{"key":"5_CR15","unstructured":"W3C: Extensible Markup Language, XML (2005), \n                    \n                      http:\/\/www.w3.org\/XML\/"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technology \u2013 Ada-Europe 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11499909_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:42:25Z","timestamp":1619505745000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11499909_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540262862","9783540316664"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11499909_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}