{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:13Z","timestamp":1725487093288},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540732297"},{"type":"electronic","value":"9783540732303"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73230-3_4","type":"book-chapter","created":{"date-parts":[[2007,6,29]],"date-time":"2007-06-29T17:04:42Z","timestamp":1183136682000},"page":"41-54","source":"Crossref","is-referenced-by-count":3,"title":["Enhancing Dependability of Component-Based Systems"],"prefix":"10.1007","author":[{"given":"Arnaud","family":"Lanoix","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Denis","family":"Hatebur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maritta","family":"Heisel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeanine","family":"Souqui\u00e8res","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B Book","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B Book. Cambridge University Press, Cambridge (1996)"},{"key":"4_CR2","unstructured":"Afadl2000. Etude de cas : syst\u00e9me de contr\u00f4le d\u2019acc\u00e9s. In Journ\u00e9s AFADL, Approches formelles dans l\u2019assistance au d\u00e9veloppement de logiciels. actes LSR\/IMAG (2000)"},{"key":"4_CR3","first-page":"109","volume-title":"9 th Annual Aymposium on Foundations of Software Engineering, FSE","author":"L. Alfaro","year":"2001","unstructured":"Alfaro, L., Henzinger, T.A.: Interface automata. In: 9 th Annual Aymposium on Foundations of Software Engineering, FSE, pp. 109\u2013120. ACM Press, New York (2001)"},{"issue":"1","key":"4_CR4","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. on Dependable and Secure Computing\u00a01(1), 11\u201333 (2004)","journal-title":"IEEE Trans. on Dependable and Secure Computing"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1007\/3-540-48743-3_22","volume-title":"ECOOP \u201999 - Object-Oriented Programming","author":"R. Bastide","year":"1999","unstructured":"Bastide, R., Sy, O., Palanque, P.A.: Formal specification and prototyping of CORBA systems. In: Guerraoui, R. (ed.) ECOOP 1999. LNCS, vol.\u00a01628, pp. 474\u2013494. Springer, Heidelberg (1999)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/3-540-48119-2_22","volume-title":"FM\u201999 - Formal Methods","author":"P. Behm","year":"1999","unstructured":"Behm, P., Benoit, P., Meynadier, J.M.: METEOR: A Successful Application of B in a Large Project. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01708, pp. 369\u2013387. Springer, Heidelberg (1999)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-540-45236-2_7","volume-title":"FME 2003: Formal Methods","author":"D. Bert","year":"2003","unstructured":"Bert, D., Boulm\u00e9, S., Potet, M-L., Requet, A., Voisin, L.: Adaptable Translator of B Specifications to Embedded C Programs. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 94\u2013113. Springer, Heidelberg (2003)"},{"key":"4_CR8","first-page":"38","volume-title":"Making components contract aware","author":"A. Beugnard","year":"1999","unstructured":"Beugnard, A., J\u00e9z\u00e9quel, J.-M., Plouzeau, N., Watkins, D.: Making components contract aware, July 1999, pp. 38\u201345. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Bracciali, A., Brogi, A., Canal, C.: A formal approach to component adaptation. Journal of Systems and Software (2005)","DOI":"10.1016\/j.jss.2003.05.007"},{"issue":"5","key":"4_CR10","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1093\/comjnl\/44.5.448","volume":"44","author":"C. Canal","year":"2001","unstructured":"Canal, C., Fuentes, L., Pimentel, E., Troya, J-M., Vallecillo, A.: Extending CORBA interfaces with protocols. Comput. J.\u00a044(5), 448\u2013462 (2001)","journal-title":"Comput. J."},{"key":"4_CR11","volume-title":"UML Components \u2013 A Simple Process for Specifying Component-Based Software","author":"J. Cheesman","year":"2001","unstructured":"Cheesman, J., Daniels, J.: UML Components \u2013 A Simple Process for Specifying Component-Based Software. Addison-Wesley, Reading (2001)"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/j.entcs.2006.05.021","volume":"160","author":"S. Chouali","year":"2006","unstructured":"Chouali, S., Heisel, M., Souqui\u00e9res, J.: Proving Component Interoperability with B Refinement. Electronic Notes in Theoretical Computer Science\u00a0160, 157\u2013172 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"4_CR13","unstructured":"Clearsy. B4free. (2004), Available at http:\/\/www.b4free.com"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"de Guerra, P.A., Mary, C., Rubira, F., Romanovsky, A., de Lemos R.: A fault-tolerant software architecture for COTS-based software systems (2003)","DOI":"10.1007\/3-540-45177-3_6"},{"key":"4_CR15","unstructured":"Fetzer, C., Xiao, Z.: HEALERS: A Toolkit for Enhancing the Robutness and Security of Existing Wrappers. In: Proc. International Conference on Dependable Systems and Networks (2003)"},{"issue":"6","key":"4_CR16","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/52.469757","volume":"12","author":"D. Garlan","year":"1999","unstructured":"Garlan, D., Allen, R., Ockerbloom, J.: Architectural Mismatch: Why Reuse is so Hard. IEEE Software\u00a012(6), 17\u201326 (1999)","journal-title":"IEEE Software"},{"key":"4_CR17","first-page":"110","volume-title":"The 1998 Asia Pacific software engineering conference","author":"J. Han","year":"1998","unstructured":"Han, J.: A comprehensive interface definition framework for software components. In: The 1998 Asia Pacific software engineering conference, pp. 110\u2013117. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"4_CR18","first-page":"72","volume-title":"Proceedings of the 32tnd Euromicro Conference on Software Engineering And Advanced Applications","author":"D. Hatebur","year":"2006","unstructured":"Hatebur, D., Heisel, M., Souqui\u00e8res, J.: A method for component-based software and system development. In: Proceedings of the 32tnd Euromicro Conference on Software Engineering And Advanced Applications, pp. 72\u201380. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-540-25930-5_9","volume-title":"Objects, Agents, and Features","author":"M. Heisel","year":"2004","unstructured":"Heisel, M., Souqui\u00e8res, J.: Adding features to component-based systems. In: Ryan, M.D., Meyer, J.-J.C., Ehrich, H.-D. (eds.) Objects, Agents, and Features. LNCS, vol.\u00a02975, pp. 137\u2013153. Springer, Heidelberg (2004)"},{"key":"4_CR20","volume-title":"ASE\u20192001","author":"H. Ledang","year":"2001","unstructured":"Ledang, H., Souqui\u00e8res, J.: Modeling class operations in B: application to UML behavioral diagrams. In: ASE\u20192001. 16th IEEE International Conference on Automated Software Engineering, IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"875","DOI":"10.1007\/3-540-48119-2_48","volume-title":"FM\u201999 - Formal Methods","author":"E. Meyer","year":"1999","unstructured":"Meyer, E., Souqui\u00e8res, J.: A systematic approach to transform OMT diagrams to a B specification. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01708, pp. 875\u2013895. Springer, Heidelberg (1999)"},{"key":"4_CR22","unstructured":"Mouakher, I., Lanoix, A., Souqui\u00e8res, J.: Component adaptation: Specification and verification. In: Reussner, R., Weck, W., Szyperski, C. (eds.) 11th International Workshop on Component Oriented Programming (WCOP\u201906), pp. 23\u201330 (2006)"},{"key":"4_CR23","unstructured":"Object Management Group (OMG). UML Superstructure Specification, version 2.0 (2005)"},{"key":"4_CR24","unstructured":"Popov, P., Strigini, L., Riddle, S., Romanovsky, A.: Protective Wrapping of OTS components. In: 4th ICSE WWorkshop on Component-Based Software Engineering: Component Certification and System Prediction (2001)"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Rakic, M., Medvidovic, N.: Increasing the confidence in off-the-shelf components. In: Symposium on Software Reusability, pp. 11\u201318 (2001)","DOI":"10.1145\/375212.375228"},{"key":"4_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-540-25939-8_13","volume-title":"Architecting Dependable Systems II","author":"R. Roshandel","year":"2004","unstructured":"Roshandel, R., Medvidovic, N.: Multi-view software component modeling for dependability. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems II. LNCS, vol.\u00a03069, pp. 286\u2013306. Springer, Heidelberg (2004)"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Schmidt, H.W., Reussner, R.H.: Generating adapters fo concurrent component protocol synchronisation. In: Crnkovic, I., Larsson, S., Stafford, J. (eds.) Proceeding of the 5th IFIP International conference on Formal Methods for Open Object-based Distributed Systems (2002)","DOI":"10.1007\/978-0-387-35496-5_15"},{"key":"4_CR28","unstructured":"Steria \u2013 Technologies de l\u2019information. Obligations de preuve: Manuel de r\u00e9f\u00e9rence, version 3.0 (1998)"},{"key":"4_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48743-3_1","volume-title":"ECOOP \u201999 - Object-Oriented Programming","author":"A. Vallacillo","year":"1999","unstructured":"Vallacillo, A., Hernandez, J., Troya, M.: Object interoperability. In: Guerraoui, R. (ed.) ECOOP 1999. LNCS, vol.\u00a01628, pp. 1\u201321. Springer, Heidelberg (1999)"},{"issue":"2","key":"4_CR30","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/244795.244801","volume":"19","author":"D.D.M. Yellin","year":"1997","unstructured":"Yellin, D.D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Trans. Program. Lang. Syst.\u00a019(2), 292\u2013333 (1997)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"4","key":"4_CR31","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/261640.261641","volume":"6","author":"A.M. Zaremski","year":"1997","unstructured":"Zaremski, A.M., Wing, J.M.: Specification matching of software components. ACM Transactions on Software Engineering and Methodology\u00a06(4), 333\u2013369 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada Europe 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73230-3_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:12:42Z","timestamp":1605762762000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73230-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540732297","9783540732303"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73230-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}