{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:07:07Z","timestamp":1725487627587},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540695066"},{"type":"electronic","value":"9783540695073"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-69507-3_73","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T13:35:58Z","timestamp":1184592958000},"page":"844-855","source":"Crossref","is-referenced-by-count":1,"title":["Towards a Versatile Contract Model to Organize Behavioral Specifications"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Collet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Ozanne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Rivierre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"73_CR1","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"1998","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley, Reading (1998)"},{"issue":"10","key":"73_CR2","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201cDesign by Contract\u201d. IEEE Computer\u00a025(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"key":"73_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/11424529_13","volume-title":"Component-Based Software Engineering","author":"P. Collet","year":"2005","unstructured":"Collet, P., Rousseau, R., Coupaye, T., Rivierre, N.: A Contracting System for Hierarchical Components. In: Heineman, G.T., Crnkovi\u0107, I., Schmidt, H.W., Stafford, J.A., Szyperski, C.A., Wallnau, K. (eds.) CBSE 2005. LNCS, vol.\u00a03489, pp. 187\u2013202. Springer, Heidelberg (2005)"},{"issue":"11","key":"73_CR4","doi-asserted-by":"publisher","first-page":"1056","DOI":"10.1109\/TSE.2002.1049404","volume":"28","author":"F. Plasil","year":"2002","unstructured":"Plasil, F., Visnovsky, S.: Behavior Protocols for Software Components. IEEE Trans. Software Eng.\u00a028(11), 1056\u20131076 (2002)","journal-title":"IEEE Trans. Software Eng."},{"key":"73_CR5","unstructured":"Sassen, A., Amoros, G., Donth, P., Geihs, K., J\u00e9z\u00e9quel, J., Odent,\u00a0K., Plouzeau,\u00a0N., Weis,\u00a0T.: QCCS: A Methodology for the Development of Contract-Aware Components Based on Aspect-Oriented Design. In: Workshop on Early Aspects (AOSD-2002), Enschede, The Netherlands (2002)"},{"key":"73_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/978-3-540-30101-1_12","volume-title":"Formal Methods for Components and Objects","author":"J.M. J\u00e9z\u00e9quel","year":"2004","unstructured":"J\u00e9z\u00e9quel, J.M., Defour, O., Plouzeau, N.: An MDA Approach to Tame Component Based Software Development. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol.\u00a03188, pp. 260\u2013275. Springer, Heidelberg (2004)"},{"key":"73_CR7","unstructured":"Tran, H.M., Bedu, P., Duchien, L., Nguyen, H.Q., Perrin, J.: Toward Structural and Behavioral Analysis for Component Models. In: SAVBCS 2004 Workshop, NewPort Beach, California, USA (2004)"},{"key":"73_CR8","unstructured":"Aegedal, J.: Quality of Service Support in Development of Distributed Systems. PhD Thesis, University Of Oslo (2001)"},{"key":"73_CR9","doi-asserted-by":"crossref","unstructured":"Rausch, A.: Software Evolution in Componentware Using Requirements\/Assurances Contracts. In: ICSE, pp. 147\u2013156 (2000)","DOI":"10.1145\/337180.337198"},{"key":"73_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-3-540-45064-1_14","volume-title":"Component-Based Software Quality","author":"R. Reussner","year":"2003","unstructured":"Reussner, R., Poernomo, I.H., Schmidt, H.W.: Reasoning about Software Architectures with Contractually Specified Components. In: Cechich, A., Piattini, M., Vallecillo, A. (eds.) Component-Based Software Quality. LNCS, vol.\u00a02693, pp. 287\u2013325. Springer, Heidelberg (2003)"},{"key":"73_CR11","volume-title":"Concurrency: State Models & Java Programs","author":"J. Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models & Java Programs. Wiley, Chichester (1999)"},{"key":"73_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/978-3-540-24774-6_3","volume-title":"Component-Based Software Engineering","author":"E. Bruneton","year":"2004","unstructured":"Bruneton, E., Coupaye, T., Leclercq, M., Quema, V., Stefani, J.-B.: An Open Component Model and Its Support in Java. In: Crnkovi\u0107, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol.\u00a03054, pp. 7\u201322. Springer, Heidelberg (2004)"},{"key":"73_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/11821946_4","volume-title":"Software Composition","author":"P. Collet","year":"2006","unstructured":"Collet, P., Ozanne, A., Rivierre, N.: Enforcing Different Contracts in Hierarchical Component-Based Systems. In: L\u00f6we, W., S\u00fcdholt, M. (eds.) SC 2006. LNCS, vol.\u00a04089, pp. 50\u201365. Springer, Heidelberg (2006)"},{"key":"73_CR14","unstructured":"Kofron, J., Adamek, J., Bures, T., Jesek, P., Mencl, V.: Checking Fractal Component Behaviour Using Behaviour Protocols. In: Fractal Workshop, ECOOP 2006 (2006)"},{"issue":"3","key":"73_CR15","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M. Abadi","year":"1995","unstructured":"Abadi, M., Lamport, L.: Conjoining Specifications. ACM Transactions on Programming Languages and Systems\u00a017(3), 507\u2013534 (1995)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"73_CR16","volume-title":"EUROMICRO-SEAA 2005","author":"H. Chang","year":"2005","unstructured":"Chang, H., Collet, P.: Fine-Grained Contract Negotiation for Hierarchical Software Components. In: EUROMICRO-SEAA 2005, Portugal, IEEE Computer Society, Los Alamitos (2005)"},{"key":"73_CR17","unstructured":"Frolund, S., Koistinen, J.: Quality of Service Aware Distributed Object Systems. Technical Report HPL-98-142, Hewlett Packard Laboratory (1998)"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2007: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69507-3_73","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:01:03Z","timestamp":1556668863000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69507-3_73"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540695066","9783540695073"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69507-3_73","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}