{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:22:49Z","timestamp":1725488569907},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540421238"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-45136-6_27","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T19:53:02Z","timestamp":1186170782000},"page":"337-348","source":"Crossref","is-referenced-by-count":0,"title":["Modelling Communication Interfaces with ComiX"],"prefix":"10.1007","author":[{"given":"1Frank","family":"Oppenheimer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongming","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Nebel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"J. Barnes: Programming in Ada95. Addison-Wesley, 1995."},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"A. Burns, A. Wellings: HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems. Elsevier, 1995.","DOI":"10.1007\/BF01245300"},{"key":"27_CR3","unstructured":"G. Gorla, E. Moser, W. Nebel and E. Villar: System Benchmarking on a Common Benchmark: Protal Crane cosimulation in Ada95\/VHDL. IEEE Design & Test of Computers. IEEE Computer Society, 2000."},{"key":"27_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/10722060_14","volume-title":"Proceedings of Reliable Software Technologies Ada-Europe 2000","author":"S. Hovater","year":"2000","unstructured":"S. Hovater, W. Marksteiner, A. Butturini: Generation of Interface Design Description Using ASIS. Proceedings of Reliable Software Technologies Ada-Europe 2000. pp.138\u2013148. LNCS 1845, Springer-Verlag, 2000."},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"W. Nebel, F. Oppenheimer, G. Schumacher, L. Kabous, M. Radetzki and W. Putzke-R\u00f6ming: Object-Oriented Specification and Design of Embedded Hard Real-Time Systems. Proceedings of the ICDA2000.","DOI":"10.1007\/978-1-4757-3281-8_24"},{"key":"27_CR6","unstructured":"Ada Semantic Interface Specification (ASIS); Int. Std. ISO\/IEC 15291. 1999(E)"},{"key":"27_CR7","unstructured":"Java Technology and XML. http:\/\/java.sun.com\/xml\/"},{"key":"27_CR8","unstructured":"Extensible Markup Language (XML) 1.0. http:\/\/www.w3.org\/TR\/REC-xml"},{"key":"27_CR9","unstructured":"Oliver Dubuisson ASN.1\u2013Communication between heterogeneous systems. Morgan Kaufmann Publishers, 2000."},{"key":"27_CR10","unstructured":"XDR: External Data Representation standard. RFC 1014, http:\/\/jandfield.com\/rfcs\/rfc1014.html , SUN Microsystems, Inc. 1987."}],"container-title":["Lecture Notes in Computer Science","Reliable SoftwareTechnologies \u2014 Ada-Europe 2001"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45136-6_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:08:34Z","timestamp":1605647314000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45136-6_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540421238"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-45136-6_27","relation":{},"subject":[]}}