{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:04:38Z","timestamp":1725516278795},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540852889"},{"type":"electronic","value":"9783540852896"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85289-6_11","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T11:47:04Z","timestamp":1218541624000},"page":"267-296","source":"Crossref","is-referenced-by-count":4,"title":["Modelling the CoCoME with DisCComp"],"prefix":"10.1007","author":[{"given":"Andr\u00e9","family":"Appel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Herold","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Klus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Rausch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"Implementing Distributed Systems with Java and CORBA","author":"M. Aleksy","year":"2005","unstructured":"Aleksy, M., Korthaus, A., Schader, M.: Implementing Distributed Systems with Java and CORBA. Springer, Heidelberg (2005)"},{"key":"11_CR2","unstructured":"Juric, M.B.: Professional J2EE EAI. Wrox Press (2002)"},{"key":"11_CR3","unstructured":"Beer, W., Birngruber, D., M\u00f6ssenb\u00f6ck, H., Pr\u00e4hofer, H., W\u00f6\u00df, A.: Die.NET-Technologie. dpunkt.verlag (2006)"},{"issue":"10","key":"11_CR4","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/MC.2004.172","volume":"37","author":"D. Harel","year":"2004","unstructured":"Harel, D., Rumpe, B.: What\u2019s the semantics of semantics. IEEE Computer\u00a037(10), 64\u201372 (2004)","journal-title":"IEEE Computer"},{"key":"11_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and Development of Interactive Systems","author":"M. Broy","year":"2001","unstructured":"Broy, M., Len, K.S.: Specification and Development of Interactive Systems. Springer, Heidelberg (2001)"},{"key":"11_CR6","volume-title":"Foundations of Component-Based Systems","author":"K. Bergner","year":"2000","unstructured":"Bergner, K., Broy, M., Rausch, A., Sihling, M., Vilbig, A.: A formal model for componentware. In: Foundations of Component-Based Systems. Cambridge University Press, Cambridge (2000)"},{"key":"11_CR7","unstructured":"Rausch, A.: Componentware: Methodik des evolution\u00e4ren Architekturentwurfs. PhD thesis, Technische Universit\u00e4t M\u00fcnchen (2001)"},{"key":"11_CR8","unstructured":"Seiler, M.: UML-basierte Spezifikation und Simulation verteilter komponentenbasierter Anwendungen. Master\u2019s thesis, Technische Universit\u00e4t Kaiserslautern (2005)"},{"key":"11_CR9","unstructured":"Rausch, A.: DisCComp - A Formal Model for Distributed Concurrent Components. In: Workshop Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 2006) (2006)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Meyer, B.: Applying \u2019design by contract\u2019. IEEE Computer\u00a025(10) (1992)","DOI":"10.1109\/2.161279"},{"key":"11_CR11","unstructured":"Object Management Group (OMG): Unified Modeling Language (UML) 2.0 Superstructure Specification (2005), http:\/\/www.omg.org\/docs\/formal\/05-07-04.pdf"},{"key":"11_CR12","unstructured":"Object Management Group (OMG): Meta Object Facility Core Specification Version 2.0 (2006), http:\/\/www.omg.org\/docs\/formal\/06-01-01.pdf"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Rausch, A.: Design by Contract + Componentware = Design by Signed Contract. Journal of Object Technology 1(3) (2002)","DOI":"10.5381\/jot.2002.1.3.a2"},{"key":"11_CR14","unstructured":"Object Management Group (OMG): Object Constraint Language (OCL) Specification (2006), http:\/\/www.omg.org\/docs\/formal\/06-05-01.pdf"},{"key":"11_CR15","volume-title":"Pattern-Oriented Software Architecture. A System of Patterns","author":"F. Buschmann","year":"1996","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P.: Pattern-Oriented Software Architecture. A System of Patterns, vol.\u00a01. John Wiley, Chichester (1996)"},{"key":"11_CR16","unstructured":"Kivlehan, D.: DesignIt: Code Generator based on XML and Code Templates. Master\u2019s thesis, The Queen\u2019s University of Belfast (2000)"},{"key":"11_CR17","unstructured":"Rausch, A.: A Proposal for a Code Generator based on XML and Code Templates. In: Proceedings of the Workshop of Generative Techniques for Product Lines, 23rd International Conference on Software Engineering (2001)"}],"container-title":["Lecture Notes in Computer Science","The Common Component Modeling Example"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85289-6_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:23:46Z","timestamp":1606184626000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85289-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540852889","9783540852896"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85289-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}