{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:51:22Z","timestamp":1725511882695},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540718758"},{"type":"electronic","value":"9783540718765"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71876-5_7","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T14:30:55Z","timestamp":1180535455000},"page":"98-113","source":"Crossref","is-referenced-by-count":7,"title":["Architectural Verification of Black-Box Component-Based Systems"],"prefix":"10.1007","author":[{"given":"Antonia","family":"Bertolino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henry","family":"Muccini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Polini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"An Approach for Tracing and Understanding Asynchronous Systems. ISR Tech. Report UCI-ISR-02-7 (2002)"},{"key":"7_CR2","unstructured":"CHARMY Project. Charmy Web Site (2004), http:\/\/www.di.univaq.it\/charmy"},{"key":"7_CR3","unstructured":"Fujaba Project. U.Paderborn, Sw Eng. Group (2005), http:\/\/wwwcs.uni-paderborn.de\/cs\/fujaba\/publications\/index.html"},{"key":"7_CR4","unstructured":"Rapid System Development via Product Line Architecture Implementation, Heraklion Crete, Greece, LNCS (September 2005)"},{"issue":"3","key":"7_CR5","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Trans. on Software Engineering and Methodology\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/3-540-45798-4_11","volume-title":"Performance Evaluation of Complex Systems: Techniques and Tools","author":"M. Bernardo","year":"2002","unstructured":"Bernardo, M., Donatiello, L., Ciancarini, P.: Performance Evaluation of Complex Systems: Techniques and Tools. In: Calzarossa, M.C., Tucci, S. (eds.) Performance 2002. LNCS, vol.\u00a02459, pp. 236\u2013260. Springer, Heidelberg (2002)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/978-3-540-30233-9_26","volume-title":"Applying Formal Methods: Testing, Performance, and M\/E-Commerce","author":"A. Bucchiarone","year":"2004","unstructured":"Bucchiarone, A., et al.: Model-Checking plus Testing: from Software Architecture Analysis to Code Testing. In: N\u00fa\u00f1ez, M., et al. (eds.) FORTE 2004. LNCS, vol.\u00a03236, pp. 351\u2013365. Springer, Heidelberg (2004)"},{"key":"7_CR8","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking, 2nd edn. MIT Press, Cambridge (2000)","edition":"2"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Crnkovic, I., Larsson, M. (eds.): Building Reliable Component-based Software Systems. Artech House (July 2002)","DOI":"10.1145\/638574.638587"},{"issue":"8","key":"7_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TSE.2005.90","volume":"31","author":"S. Elbaum","year":"2005","unstructured":"Elbaum, S., Diep, M.: Profiling Deployed Software: Assessing Strategies and Testing Opportunities. IEEE Trans. on Software Engineering\u00a031(8), 1\u201316 (2005)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/336512.336537","volume-title":"ACM ICSE 2000, The Future of Software Engineering","author":"D. Garlan","year":"2000","unstructured":"Garlan, D.: Software Architecture: a Roadmap. In: ACM ICSE 2000, The Future of Software Engineering, pp. 91\u2013101. ACM Press, New York (2000)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Formal Methods for Software Architectures","author":"D. Garlan","year":"2003","unstructured":"Garlan, D.: Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 1\u201324. Springer, Heidelberg (2003)"},{"key":"7_CR13","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (Sept. 2003)"},{"key":"7_CR14","volume-title":"ACM Proc. European Software Engineering Conference\/the Foundations of Software Engineering (ESEC\/FSE)","author":"P. Inverardi","year":"2005","unstructured":"Inverardi, P., Muccini, H., Pelliccione, P.: CHARMY: An Extensible Tool for Architectural Analysis. In: ACM Proc. European Software Engineering Conference\/the Foundations of Software Engineering (ESEC\/FSE), September 2005, ACM Press, New York (2005)"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Kiviluoma, K., Koskinen, J., Mikkonen, T.: Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects. In: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA\u201906), Portland, Maine, USA, July 17-20, 2006, pp. 181\u2013190 (2006)","DOI":"10.1145\/1146238.1146259"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Magee, J., Kramer, J., Giannakopoulou, D.: Behaviour Analysis of Software Architectures. In: I Working IFIP Conf. Sw Architecture, WICSA1 (1999)","DOI":"10.1007\/978-0-387-35563-4_3"},{"key":"7_CR17","volume-title":"10th IEEE International Conference on Engineering of Complex Computer Systems","author":"L. Mariani","year":"2005","unstructured":"Mariani, L., Pezze, M.: Behavior Capture and Test: Automated Analysis of Component Integration. In: IEEE Computer Society (ed.) 10th IEEE International Conference on Engineering of Complex Computer Systems, Shangai, China, 16-20 June, 2005, IEEE Computer Society Press, Los Alamitos (2005)"},{"issue":"3","key":"7_CR18","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1109\/TSE.2004.1271170","volume":"30","author":"H. Muccini","year":"2003","unstructured":"Muccini, H., Bertolino, A., Inverardi, P.: Using Software Architecture for Code Testing. IEEE Trans. on Software Engineering\u00a030(3), 160\u2013171 (2003)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"7_CR19","unstructured":"Pelliccione, P.: CHARMY: A framework for Software Architecture Specification and Analysis. PhD thesis, Computer Science Dept., U. L\u2019Aquila (May 2005)"},{"key":"7_CR20","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)"}],"container-title":["Lecture Notes in Computer Science","Rapid Integration of Software Engineering Techniques"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71876-5_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T02:32:06Z","timestamp":1683858726000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71876-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540718758","9783540718765"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71876-5_7","relation":{},"subject":[]}}