{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:27:34Z","timestamp":1725488854345},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403760"},{"type":"electronic","value":"9783540449478"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44947-7_31","type":"book-chapter","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T06:04:46Z","timestamp":1186553086000},"page":"405-416","source":"Crossref","is-referenced-by-count":4,"title":["HRT-UML: Taking HRT-HOOD onto UML"],"prefix":"10.1007","author":[{"given":"Silvia","family":"Mazzini","sequence":"first","affiliation":[]},{"given":"Massimo","family":"D\u2019Alessandro","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Di Natale","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Domenici","sequence":"additional","affiliation":[]},{"given":"Giuseppe","family":"Lipari","sequence":"additional","affiliation":[]},{"given":"Tullio","family":"Vardanega","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"key":"31_CR1","unstructured":"Ada Rapporteur Group: AI-249: Ravenscar profile for high-integrity systems. Technical report, ISO\/IEC JTC1\/SC22\/WG9 (2002) \n                    http:\/\/www.ada-auth.org\/cgi-bin\/cvsweb.cgi\/AIs\/AI-00249.TXT"},{"key":"31_CR2","unstructured":"Ada Rapporteur Group: AI-305: New pragma and additional restriction identifiers for realtime systems. Technical report, ISO\/IEC JTC1\/SC22\/WG9 (2002) \n                    http:\/\/www.ada-auth.org\/cgi-bin\/cvsweb.cgi\/AIs\/AI-00305.TXT"},{"key":"31_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings 7th Int\u2019l Conference on Reliable Software Technologies Ada Europe 2002","author":"A. Alonso","year":"2002","unstructured":"Alonso, A., L\u00f3pez, R., Vardanega, T., de la Puente, J.A.: Using object orientation in high integrity applications: A case study. In J. Blieberger and A. Strohmeier, editors, Proceedings 7th Int\u2019l Conference on Reliable Software Technologies Ada Europe 2002, volume 2361 of LNCS. Springer-Verlag (2002)"},{"key":"31_CR4","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 (2003) \n                    http:\/\/www.cs.york.ac.uk\/ftpdir\/reports\/YCS-2003-348.pdf"},{"key":"31_CR5","isbn-type":"print","volume-title":"HRT-HOOD: A Structured Design Method for Hard Real-Time Systems","author":"A. Burns","year":"1995","unstructured":"Burns, A., Wellings, A.: HRT-HOOD: A Structured Design Method for Hard Real-Time Systems. Elsevier Science, Amsterdam, NL ISBN 0-444-82164-3 (1995)","ISBN":"http:\/\/id.crossref.org\/isbn\/0444821643"},{"key":"31_CR6","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissideds, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley (1999)"},{"key":"31_CR7","volume-title":"HOOD Reference Manual 3.1","author":"HOOD Technical Group","year":"1993","unstructured":"HOOD Technical Group: HOOD Reference Manual 3.1. Prentice Hall, Englewood Cliffs, NJ (USA) (1993)"},{"key":"31_CR8","volume-title":"Ada Reference Manual","author":"ISO","year":"1987","unstructured":"ISO: Ada Reference Manual. International Standardisation Organisation, Geneva, CH ISO\/IEC 8652:1987 (1987)"},{"key":"31_CR9","volume-title":"Ada Reference Manual","author":"ISO","year":"1995","unstructured":"ISO: Ada Reference Manual. International Standardisation Organisation, Geneva, CH ISO\/IEC 8652:1995 (1995)"},{"key":"31_CR10","unstructured":"Revision Task Force: OMG Unified Modeling Language Specification, Version 1.4. Technical report, Object Management Group (OMG) OMG document formal\/01-09-67 (2001)"},{"key":"31_CR11","unstructured":"Selic, B., Rumbaugh, J.: Using UML for Modeling Complex Real-Time Systems. Technical report, Rational (2002) \n                    http:\/\/www.rational.com\/products\/whitepapers\/umlrt.pdf"},{"issue":"3","key":"31_CR12","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1002\/spe.436","volume":"32","author":"T. Vardanega","year":"2002","unstructured":"Vardanega, T., Caspersen, G.: Engineering Reuse for On-board Embedded Real-Time Systems. Software-Practice and Experience, 32(3):233\u2013264 John Wiley & Sons (2002)","journal-title":"Software-Practice and Experience"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44947-7_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T04:50:58Z","timestamp":1550724658000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44947-7_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403760","9783540449478"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-44947-7_31","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}