{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:27:46Z","timestamp":1725488866043},"publisher-location":"Berlin, Heidelberg","reference-count":18,"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_27","type":"book-chapter","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T06:04:46Z","timestamp":1186553086000},"page":"359-367","source":"Crossref","is-referenced-by-count":1,"title":["A Test Environment for High Integrity Software Development"],"prefix":"10.1007","author":[{"given":"Alejandro","family":"Alonso","sequence":"first","affiliation":[]},{"given":"Juan Antonio","family":"de la Puente","sequence":"additional","affiliation":[]},{"given":"Juan","family":"Zamorano","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"key":"27_CR1","unstructured":"Garbajosa, J., Alonso, A., Amador, J., Bolla\u00edn, M., de la Puente, J.: A low cost software engineering environment for on-board real-time software. In: Workshop on Advanced Real-Time Software Technologies, Aranjuez, Spain (2002)"},{"key":"27_CR2","unstructured":"ECSS: ECSS-E-40A Space Engineering \u2014 Software. (1999) Available from ESA."},{"key":"27_CR3","unstructured":"GMV-ECSS-UM-01: SEE User Manual. 4.1 edn. (2000) Also available from ESA."},{"key":"27_CR4","unstructured":"ISO: Ada Semantic Interface Specification (ASIS). ISO\/IEC-15291:1999. (1999)"},{"key":"27_CR5","unstructured":"Ousterhout, J.: Tcl and the Tk Toolkit. Addison-Wesley (1994)"},{"key":"27_CR6","unstructured":"Vardanega, T.: Development of on-board embedded real-time systems: An engineering approach. Technical Report ESA STR-260, European Space Agency (1999) ISBN 90-9092-334-2."},{"key":"27_CR7","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/BF01245300","volume":"6","author":"A. Burns","year":"1994","unstructured":"Burns, A., Wellings, A.: HRT-HOOD:Adesign method for hard-real-time. Real-Time Systems 6 (1994) 73\u2013114","journal-title":"Real-Time Systems"},{"key":"27_CR8","isbn-type":"print","volume-title":"HRT-HOOD(TM):A Structured Design Method for Hard Real-Time Ada Systems","author":"A. Burns","year":"1995","unstructured":"Burns, A., Wellings, A.: HRT-HOOD(TM):A Structured Design Method for Hard Real-Time Ada Systems. Elsevier Science, Amsterdam (1995) ISBN 0-444-82164-3.","ISBN":"http:\/\/id.crossref.org\/isbn\/0444821643"},{"key":"27_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055011","volume-title":"Reliable Software Technologies \u2014 Ada-Europe\u201998","author":"A. Burns","year":"1998","unstructured":"Burns, A., Dobbing, B., Romanski, G.: The Ravenscar profile for high integrity real-time programs. In Asplund, L., ed.: Reliable Software Technologies \u2014 Ada-Europe\u201998. Number 1411 in LNCS, Springer-Verlag (1998)"},{"key":"27_CR10","unstructured":"ISO\/IEC: Guide for the use of the Ada Programming Language in High Integrity Systems. (2000) Technical Report TR 15942:2000."},{"key":"27_CR11","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)"},{"key":"27_CR12","unstructured":"TNI: STOOD home page. http:\/\/www.tni.fr (2003)"},{"key":"27_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/10722060_4","volume-title":"Reliable Software Technologies \u2014 Ada-Europe 2000","author":"J.A. Puente de la","year":"2000","unstructured":"de la Puente, J.A., Ruiz, J.F., Zamorano, J.: An open Ravenscar real-time kernel for GNAT. In Keller, H.B., Ploedereder, E., eds.: Reliable Software Technologies \u2014 Ada-Europe 2000. Number 1845 in LNCS, Springer-Verlag (2000) 5\u201315"},{"key":"27_CR14","unstructured":"Gaisler, J.: TSIM Simulator User\u2019s Manual. Gaisler Research. (2001)"},{"key":"27_CR15","unstructured":"de la Puente, J.A.: RTA User\u2019s Guide. DIT-UPM. 1.3 edn. (2001)"},{"key":"27_CR16","volume-title":"Fundamentals of Software Engineering","author":"C. Ghezzi","year":"1991","unstructured":"Ghezzi, C., Jazayeri, M., Mandrioli, D.: Fundamentals of Software Engineering. Prentice-Hall, Englewood Cliffs, New Jersey (1991)"},{"key":"27_CR17","unstructured":"Watson, A.H., McCabe, T.J.: Structured Testing: A Testing Methodology Using the Cyclomatic Complexity Metric. NIST Special Report 500-235 (1996)."},{"key":"27_CR18","doi-asserted-by":"crossref","unstructured":"Rybin, S., Strohmeier, A., Kuchumov, A., Fofanov, V.: ASIS for GNAT: From the prototype to the full implementation. In Strohmeier, A., ed.: Reliable Software Technologies \u2014 Ada-Europe\u201996: Proceedings. Volume 1088 of Lecture Notes on Computer Science., Springer-Verlag (1996)","DOI":"10.1007\/BFb0013497"}],"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_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T20:37:38Z","timestamp":1556743058000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44947-7_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403760","9783540449478"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-44947-7_27","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}