{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:59Z","timestamp":1750307999432,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T00:00:00Z","timestamp":1153094400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,7,17]]},"DOI":"10.1145\/1147249.1147251","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T22:04:00Z","timestamp":1161209040000},"page":"12-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Towards an architectural approach for the dynamic and automatic composition of software components"],"prefix":"10.1145","author":[{"given":"Antonio","family":"Bucchiarone","sequence":"first","affiliation":[{"name":"Istituto di Scienza e Tecnologie della, Pisa, Italy and IMT Graduate School, Lucca, Italy"}]},{"given":"Andrea","family":"Polini","sequence":"additional","affiliation":[{"name":"Istituto di Scienza e Tecnologie della, Pisa, Italy"}]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[{"name":"Universit\u00e0 dell'Aquila, L'Aquila, Italy"}]},{"given":"Massimo","family":"Tivoli","sequence":"additional","affiliation":[{"name":"Universit\u00e0 dell'Aquila, L'Aquila, Italy"}]}],"member":"320","published-online":{"date-parts":[[2006,7,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"SBES'01","author":"Alves C.","year":"2001","unstructured":"C. Alves and J. Castro . Cre: A systematic method for cots components selection . In SBES'01 , 2001 . C. Alves and J. Castro. Cre: A systematic method for cots components selection. In SBES'01, 2001."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/512035.512050"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138953.1138959"},{"key":"e_1_3_2_1_4_1","first-page":"2804","article-title":"Formal Methods for Software Architectures, Tutorial book on Software Architectures and Formal Methods. SFM-03:SA Lectures","author":"Bernardo M.","year":"2003","unstructured":"M. Bernardo and P. Inverardi . Formal Methods for Software Architectures, Tutorial book on Software Architectures and Formal Methods. SFM-03:SA Lectures , LNCS 2804 , 2003 . M. Bernardo and P. Inverardi. Formal Methods for Software Architectures, Tutorial book on Software Architectures and Formal Methods. SFM-03:SA Lectures, LNCS 2804, 2003.","journal-title":"LNCS"},{"key":"e_1_3_2_1_5_1","volume-title":"Systematic component adaptation. ENTCS, 66(4)","author":"Bracciali A.","year":"2002","unstructured":"A. Bracciali , A. Brogi , and C. Canal . Systematic component adaptation. ENTCS, 66(4) , 2002 . A. Bracciali, A. Brogi, and C. Canal. Systematic component adaptation. ENTCS, 66(4), 2002."},{"key":"e_1_3_2_1_6_1","first-page":"1","volume-title":"Proc. of the International Congress of Logic, Methodology and Philosophy of Science","author":"Buchi J. R.","year":"1960","unstructured":"J. R. Buchi . On a decision method in restricted second order arithmetic . In Proc. of the International Congress of Logic, Methodology and Philosophy of Science , pages 1 -- 11 . Standford University Press , 1960 . J. R. Buchi. On a decision method in restricted second order arithmetic. In Proc. of the International Congress of Logic, Methodology and Philosophy of Science, pages 1--11. Standford University Press, 1960."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24769-2_2"},{"key":"e_1_3_2_1_8_1","unstructured":"Charmy Project. Charmy web site. http:\/\/www.di.univaq.it\/charmy February 2004.  Charmy Project. Charmy web site. http:\/\/www.di.univaq.it\/charmy February 2004."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1049\/ic:20040432"},{"key":"e_1_3_2_1_10_1","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"Holzmann G. J.","year":"2003","unstructured":"G. J. Holzmann . The SPIN Model Checker: Primer and Reference Manual . Addison-Wesley , September 2003 . G. J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, September 2003."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081726"},{"key":"e_1_3_2_1_12_1","volume-title":"Software Architecture for Correct Components Assembly","author":"Inverardi P.","year":"2003","unstructured":"P. Inverardi and M. Tivoli . Software Architecture for Correct Components Assembly . Springer , LNCS 2804, Sept. 2003 . P. Inverardi and M. Tivoli. Software Architecture for Correct Components Assembly. Springer, LNCS 2804, Sept. 2003."},{"key":"e_1_3_2_1_13_1","volume-title":"HICSS","author":"Issarny V.","year":"2001","unstructured":"V. Issarny and J. P. Banatre . Architecture-based exception handling . In HICSS , 2001 . V. Issarny and J. P. Banatre. Architecture-based exception handling. In HICSS, 2001."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.421.0060"},{"key":"e_1_3_2_1_15_1","volume-title":"CBSE7","author":"Kulkarni S. S.","year":"2004","unstructured":"S. S. Kulkarni and K. N. Biyani . Correctness of component-based adaptation . in CBSE7 , May 2004 . S. S. Kulkarni and K. N. Biyani. Correctness of component-based adaptation. in CBSE7, May 2004."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of reactive and concurrent systems","author":"Manna Z.","year":"1992","unstructured":"Z. Manna and A. Pnueli . The temporal logic of reactive and concurrent systems . Springer-Verlag New York, Inc. , 1992 . Z. Manna and A. Pnueli. The temporal logic of reactive and concurrent systems. Springer-Verlag New York, Inc., 1992."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/201019.201032"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/141874.141884"},{"key":"e_1_3_2_1_19_1","volume-title":"http:\/\/www.di.univaq.it\/psc2ba","author":"PSC","year":"2005","unstructured":"PSC home page : http:\/\/www.di.univaq.it\/psc2ba , 2005 . PSC home page: http:\/\/www.di.univaq.it\/psc2ba, 2005."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/329155.329161"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v35:3"},{"key":"e_1_3_2_1_22_1","unstructured":"Synthesis Project. Synthesis web site. http:\/\/www.di.univaq.it\/tivoli\/SYNTHESIS\/synthesis.php September 2004.  Synthesis Project. Synthesis web site. http:\/\/www.di.univaq.it\/tivoli\/SYNTHESIS\/synthesis.php September 2004."},{"key":"e_1_3_2_1_23_1","volume-title":"Synthesis: a tool for synthesizing correct and protocol-enhanced adaptors. L'Object journal, 12(1)","author":"Tivoli M.","year":"2005","unstructured":"M. Tivoli and M. Autili . Synthesis: a tool for synthesizing correct and protocol-enhanced adaptors. L'Object journal, 12(1) , 2005 . M. Tivoli and M. Autili. Synthesis: a tool for synthesizing correct and protocol-enhanced adaptors. L'Object journal, 12(1), 2005."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.595959"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/244795.244801"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/2167692.2167703"}],"event":{"name":"ISSTA06: International Symposium on Software Testing and Analysis 2006","acronym":"ISSTA06","location":"Portland Maine"},"container-title":["Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1147249.1147251","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1147249.1147251","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:06:24Z","timestamp":1750259184000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1147249.1147251"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,17]]},"references-count":26,"alternative-id":["10.1145\/1147249.1147251","10.1145\/1147249"],"URL":"https:\/\/doi.org\/10.1145\/1147249.1147251","relation":{},"subject":[],"published":{"date-parts":[[2006,7,17]]},"assertion":[{"value":"2006-07-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}