{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:33:37Z","timestamp":1725489217795},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540735502"},{"type":"electronic","value":"9783540735519"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73551-9_9","type":"book-chapter","created":{"date-parts":[[2007,8,13]],"date-time":"2007-08-13T14:28:02Z","timestamp":1187015282000},"page":"124-139","source":"Crossref","is-referenced-by-count":18,"title":["Monitoring Architectural Properties in Dynamic Component-Based Systems"],"prefix":"10.1007","author":[{"given":"Henry","family":"Muccini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Polini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabiano","family":"Ricci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonia","family":"Bertolino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"ACM Digital Library","volume-title":"ROSATEA 2006: The Role Of Software Architecture in Testing and Analysis","year":"2006","unstructured":"Muccini, H., Hierons, R. (eds.): ROSATEA 2006: The Role Of Software Architecture in Testing and Analysis. ACM Digital Library. ACM Press, New York (2006)"},{"key":"9_CR2","unstructured":"QOSA Conferences on the Quality of Software Architectures, Lecture Notes on Computer Science (2005-2007)"},{"issue":"12","key":"9_CR3","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1109\/TSE.2004.91","volume":"30","author":"N. Delgado","year":"2004","unstructured":"Delgado, N., Gates, A.Q., Roach, S.: A taxonomy and catalog of runtime software-fault monitoring tools. IEEE Trans. Softw. Eng.\u00a030(12), 859\u2013872 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"9_CR4","unstructured":"Bertolino, A., Muccini, H., Polini, A.: Architectural verification of black-box component-based systems. In: RISE 2006. Proc. Int. Workshop on Rapid Integration of Software Engineering techniques, vol. to appear as LNCS (2006)"},{"issue":"6","key":"9_CR5","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/52.542294","volume":"13","author":"R. Kazman","year":"1996","unstructured":"Kazman, R., Abowd, G., Bass, L., Clements, P.: Scenario-based analysis of software architecture. IEEE Softw.\u00a013(6), 47\u201355 (1996)","journal-title":"IEEE Softw."},{"key":"9_CR6","volume-title":"SCESM 2006","author":"M. Autili","year":"2006","unstructured":"Autili, M., Inverardi, P., Pelliccione, P.: A scenario based notation for specifying temporal properties. In: SCESM 2006, Shanghai, China, May 27, 2006, ACM Press, New York (2006)"},{"key":"9_CR7","unstructured":"PSC home page: \n                    \n                      http:\/\/www.di.univaq.it\/psc2ba\n                    \n                    \n                   (2005)"},{"key":"9_CR8","unstructured":"CHARMY Project. Charmy Web Site. \n                    \n                      http:\/\/www.di.univaq.it\/charmy"},{"key":"9_CR9","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 (2003)"},{"key":"9_CR10","unstructured":"Crawford, W.C., Kaplan, J.: J2EE Design Patterns. O\u2019Reilly (2003)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Kiviluoma, K., Koskinen, J., Mikkonen, T.: Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects. In: ISSTA 2006. Proc. Int. Symposium on Software Testing and Analysis, Portland, Maine, pp. 181\u2013190 (2006)","DOI":"10.1145\/1146238.1146259"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1145\/1028664.1028776","volume-title":"Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications","author":"E. Bodden","year":"2004","unstructured":"Bodden, E.: A lightweight ltl runtime verification tool for java. In: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pp. 306\u2013307. ACM Press, New York (2004)"},{"key":"9_CR13","unstructured":"Xiaoguang, M., May, J.: A framework of integration Testing using AspectJ. In: WAOSD. Int. Workshop on Aspect-Oriented Software Development, Beijing, China (2004)"},{"key":"9_CR14","first-page":"259","volume-title":"CSMR 2003","author":"T. Gschwind","year":"2003","unstructured":"Gschwind, T., Oberleitner, J.: Improving dynamic data analysis with aspect-oriented programming. In: CSMR 2003. Proc. 7th European Conference on Software Maintenance and Reengineering, Washington, DC, p. 259. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"9_CR15","unstructured":"Bodkin, R.: AOP@Work: Performance monitoring with AspectJ (September 2005), IBM: \n                    \n                      http:\/\/www-128.ibm.com\/developerworks\/java\/library\/j-aopwork10\/"},{"key":"9_CR16","first-page":"790","volume-title":"APSEC 2005","author":"Y. Usui","year":"2005","unstructured":"Usui, Y., Chiba, S.: Bugdel: An aspect-oriented debugging system. In: APSEC 2005. Proc. 12th Asia-Pacific Software Engineering Conference, Washington, DC, pp. 790\u2013795. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"9_CR17","unstructured":"Katz, S.: Diagnosis of Harmful Aspects Using Regression Verification. In: FOAL workshop in AOSD 2004 (2004)"},{"key":"9_CR18","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: Finkelstein, A. (ed.) ACM ICSE 2000, The Future of Software Engineering, pp. 91\u2013101. ACM Press, New York (2000)"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Oreizy, P., Medvidovic, N., Taylor, R.: Architecture-Based Runtime Software Evolution. In: ICSE 1998. Proc. Int. Conf. on Software Engineering, Kyoto, Japan (1998)","DOI":"10.1109\/ICSE.1998.671114"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053581","volume-title":"Fundamental Approaches to Software Engineering","author":"R.J. Allen","year":"1998","unstructured":"Allen, R.J., Douence, R., Garlan, D.: Specifying and Analyzing Dynamic Software Architectures. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, Springer, Heidelberg (1998)"},{"key":"9_CR21","volume-title":"Proc. 4th IEEE Int. Conf. on Configurable Distributed Systems","author":"J. Kramer","year":"1998","unstructured":"Kramer, J., Magee, J.: Analysing Dynamic Change in Software Architectures: A case study. In: Proc. 4th IEEE Int. Conf. on Configurable Distributed Systems, IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"9_CR22","first-page":"345","volume":"130","author":"A. Rademake","year":"2005","unstructured":"Rademake, A., Braga, C., Sztajnberg, A.: A rewriting semantics for a software architecture description language. ENTCS\u00a0130, 345\u2013377 (2005)","journal-title":"ENTCS"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73551-9_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:51:27Z","timestamp":1619517087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73551-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540735502","9783540735519"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73551-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}