{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T12:10:26Z","timestamp":1764331826714},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540219989"},{"type":"electronic","value":"9783540247746"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24774-6_20","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T20:26:22Z","timestamp":1281299182000},"page":"217-232","source":"Crossref","is-referenced-by-count":12,"title":["Extra-Functional Contract Support in Components"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Defour","sequence":"first","affiliation":[]},{"given":"Jean-Marc","family":"J\u00e9z\u00e9quel","sequence":"additional","affiliation":[]},{"given":"No\u00ebl","family":"Plouzeau","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","volume-title":"Component software, beyond object-oriented programming","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C.: Component software, beyond object-oriented programming, 2nd edn. Addison-Wesley, Reading (2002)","edition":"2"},{"key":"20_CR2","unstructured":"OMG: CORBA Components, v3.0. Adopted specification (06\/2002)"},{"key":"20_CR3","unstructured":"OMG: UML Superstructure 2.0 (August 2003)"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Beugnard, A., J\u00e9z\u00e9quel, J.-M., Plouzeau, N., Watkins, D.: Making components contract aware. Computer, IEEE Computer Society, 38\u201345 (July 1999)","DOI":"10.1109\/2.774917"},{"key":"20_CR5","unstructured":"OMG: UML2.0 Object Constraint Language RfP (July 2003)"},{"key":"20_CR6","volume-title":"Object oriented software construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object oriented software construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)","edition":"2"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Frolund, S., Koistinen, J.: QoS specification in distributed object systems. Distributed Systems Engineering, The British Computer Society\u00a05 (July 1998)","DOI":"10.1088\/0967-1846\/5\/4\/005"},{"key":"20_CR8","unstructured":"McHale, C.: Synchronization in concurrent object-oriented languages:expressive power, genericity and inheritance. Doctoral dissertation, Trinity College, Dept. of computer science, Dublin (1994)"},{"key":"20_CR9","unstructured":"Quality Control of Component-based Software (QCCS) European project home page, http:\/\/www.qccs.org"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Weis, T., et al: Model metamorphosis. IEEE Software, pp. 46\u201351 (September 2003)","DOI":"10.1109\/MS.2003.1231151"},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1145\/41625.41635","volume-title":"Proceedings of 14th ACM Symposium on principles of programming languages (POPL 1987)","author":"J. Jaffar","year":"1987","unstructured":"Jaffar, J., Lassez, J.L.: Constraint logic programming. In: Proceedings of 14th ACM Symposium on principles of programming languages (POPL 1987), pp. 111\u2013119. ACM, New York (1987)"},{"issue":"2","key":"20_CR12","first-page":"125","volume":"2","author":"J.G. Cleary","year":"1987","unstructured":"Cleary, J.G.: Logical arithmetic. Future computing systems\u00a02(2), 125\u2013149 (1987)","journal-title":"Future computing systems"},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-45221-8_17","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"J. B\u00e9zivin","year":"2003","unstructured":"B\u00e9zivin, J., Farcet, N., J\u00e9z\u00e9quel, J.M., Langlois, B., Pollet, D.: Reflective model driven engineering. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 175\u2013189. Springer, Heidelberg (2003)"},{"key":"20_CR14","unstructured":"W3C: Synchronized Multimedia Integration Language 2.0 specification, http:\/\/www.w3.org\/TR\/smil20"},{"key":"20_CR15","unstructured":"TINA-C: TINA object definition language manual. Report TP_NM_002_2.2_96 (1996)."},{"key":"20_CR16","unstructured":"Becker, C., Geiths, K.: QoS, aspects of distributed programs. In: Proceedings of international workshop on aspect-oriented programming at ICSEE 1998, Kyoto, Japan (1998)"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Daniels, J., Traverson, B., Vignes, S.: Integration of QoS in distributed objects systems. In: Proceedings of IFIP TC6 WG6.1 2nd international working conference on Distributed Applications and Interoperable Systems (DAIS 1999), Helsinki, Finland, pp. 31\u201343 (1999)","DOI":"10.1007\/978-0-387-35565-8_3"},{"key":"20_CR18","unstructured":"Aagedal, J.O.: Quality of service support in development of distributed systems. Ph.D thesis report, University of Oslo, Dept. Informatics (March 2001)"},{"key":"20_CR19","unstructured":"v-QoS project home page, http:\/\/www.comp.lancs.ac.uk\/computing\/users\/lb\/v-qos.html"},{"key":"20_CR20","unstructured":"Blair, G.S., Silva Moreira, R., Carrapatose, E.M.: A reflective and architecture aware component model for middleware composition management. In: 3rd international symposium on Distributed Objects and Application (DOA 2001), Roma (It) (September 2001)"},{"key":"20_CR21","unstructured":"Genssler, T., Zeidler, C.: Rule-driven component composition for embedded systems. In: 4th ICSE workshop on component-based software engineering: component certification and system prediction, ICSE 2001, Toronto, Ca (2001)"},{"key":"20_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-45440-3_8","volume-title":"Component Deployment","author":"S.A. Hissam","year":"2002","unstructured":"Hissam, S.A., Moreno, G.A., Stafford, J., Wallnau, K.C.: Packaging and deploying predictable assembly. In: Bishop, J.M. (ed.) CD 2002. LNCS, vol.\u00a02370, pp. 108\u2013124. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24774-6_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:56:19Z","timestamp":1605761779000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24774-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540219989","9783540247746"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24774-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}