{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T16:10:21Z","timestamp":1736007021250,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290339"},{"type":"electronic","value":"9783540320562"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11558569_4","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:01:11Z","timestamp":1127829671000},"page":"21-37","source":"Crossref","is-referenced-by-count":2,"title":["An Architecture-Centric Approach for Producing Quality Systems"],"prefix":"10.1007","author":[{"given":"Antonia","family":"Bertolino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Bucchiarone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henry","family":"Muccini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"CHARMY Project. Charmy Web Site (2004), http:\/\/www.di.univaq.it\/charmy"},{"key":"4_CR2","unstructured":"TOGAF 8: The Open Group Architecture Framework (2005), http:\/\/www.opengroup.org\/architecture\/togaf\/"},{"key":"4_CR3","unstructured":"STRAW 2003: Second Int. Workshop From Software Requirements to Architectures, May 09, 2003, Portland, Oregon, USA (2003)"},{"issue":"3","key":"4_CR4","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":"4_CR5","volume-title":"Component-Based Product-Line Engineering with UML","author":"C. Atkinson","year":"2001","unstructured":"Atkinson, C., Bayer, J., Bunse, C., Kamsties, E., Laitenberger, O., Laqua, R., Muthig, D., Paech, B., W\u00fcst, J., Zettel, J.: Component-Based Product-Line Engineering with UML. Addison-Wesley, Reading (2001)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Autili, M., Inverardi, P., Pelliccione, P.: A graphical scenario-based notation for automatically specifying temporal properties. Technical report, Department of Computer Science, University of L\u2019Aquila (2005)","DOI":"10.1145\/1138953.1138959"},{"key":"4_CR7","unstructured":"Basanieri, F., Bertolino, A.: A Practical Approach to UML-based Derivation of Integration Tests. In: Proceeding of QWE 2000, Bruxelles, November 20-24 (2000)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/3-540-45800-X_30","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"F. Basanieri","year":"2002","unstructured":"Basanieri, F., Bertolino, A., Marchetti, E.: The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 383\u2013397. Springer, Heidelberg (2002)"},{"key":"4_CR9","series-title":"SEI Series in Software Engineering","volume-title":"Software Architecture in Practice","author":"L. Bass","year":"2003","unstructured":"Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice, 2nd edn. SEI Series in Software Engineering. Addison-Wesley, Reading (2003)","edition":"2"},{"key":"4_CR10","unstructured":"Bass, L., Kazman, R.: Architecture-Based Development. Technical report, Carnegie Mellon, Software Engineering Institute, CMU\/SEI-99-TR-007 (1999)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/b13225","volume-title":"Formal Methods for Software Architectures","author":"M. Bernardo","year":"2003","unstructured":"Bernardo, M., Inverardi, P.: Formal Methods in Testing Software Architectures. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 122\u2013147. Springer, Heidelberg (2003)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Bril, R.J., Krikhaar, R.L., Postma, A.: Architectural Support in Industry: a reflection using C-POSH. Journal of Software Maintenance and Evolution (2005)","DOI":"10.1002\/smr.304"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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., Muccini, H., Pelliccione, P., Pierini, P.: Model-Checking plus Testing: from Software Architecture Analysis to Code Testing. In: N\u00fa\u00f1ez, M., Maamar, Z., Pelayo, F.L., Pousttchi, K., Rubio, F. (eds.) FORTE 2004. LNCS, vol.\u00a03236, pp. 351\u2013365. Springer, Heidelberg (2004)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-540-24721-0_9","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Chatley","year":"2004","unstructured":"Chatley, R., Eisenbach, S., Kramer, J., Magee, J., Uchitel, S.: Predictable dynamic plugin systems. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 129\u2013143. Springer, Heidelberg (2004)"},{"issue":"2","key":"4_CR15","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0167-6423(98)00006-9","volume":"33","author":"D. Compare","year":"1999","unstructured":"Compare, D., Inverardi, P., Wolf, A.: Uncovering Architectural Mismatch in Dynamic Behavior. Science of Computer Programming\u00a033(2), 101\u2013131 (1999)","journal-title":"Science of Computer Programming"},{"key":"4_CR16","unstructured":"Cortellessa, V., Marco, A.D., Inverardi, P., Muccini, H., Pelliccione, P.: Using UML for SA-based Modeling and Analysis. In: Int. Workshop on Software Architecture Description & UML. Hosted at the Seventh International Conference on UML Modeling Languages and Applications, Lisbon, Portugal, October, 11-15 (2004)"},{"key":"4_CR17","unstructured":"CowSuite, http:\/\/www.isti.cnr.it\/researchunits\/labs\/se-lab\/software-tools.html"},{"key":"4_CR18","volume-title":"Encyclopedia of Software Engineering","author":"D. Garlan","year":"2001","unstructured":"Garlan, D.: Software Architecture. In: Encyclopedia of Software Engineering. John Wiley & Sons, Chichester (2001)"},{"key":"4_CR19","unstructured":"Gnesi, S., Lami, G., Trentanni, G., Fabbrini, F., Fusani, M.: An Automatic Tool for the Analysis of Natural Language Requirements. In: Computer Systems Science & Engineering Special issues on Automated Tools for Requirements Engineering, vol.\u00a020(1) (2005)"},{"key":"4_CR20","unstructured":"Group, O.M.: OMG\/Unified Modelling Language(UML) V2.0 (2004)"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Gr\u00fcnbacher, P., Egyed, A., Medvidovic, N.: Reconciling Software Requirements and Architectures with Intermediate Models. Journal for Software and Systems Modeling, SoSyM (accepted for publication) (2004)","DOI":"10.1007\/s10270-003-0038-6"},{"key":"4_CR22","volume-title":"Applied Software Architecture","author":"C. Hofmeister","year":"1998","unstructured":"Hofmeister, C., Nord, R., Soni, D.: Applied Software Architecture. Addison-Wesley, Reading (1998)"},{"key":"4_CR23","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":"4_CR24","series-title":"Object Technology Series","volume-title":"The Unified Software Development Process","author":"I. Jacobson","year":"1999","unstructured":"Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Object Technology Series. Addison-Wesley, Reading (1999)"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Magee, J., Kramer, J., Giannakopoulou, D.: Behaviour Analysis of Software Architectures. In: First Working IFIP Conference on Software Architecture, WICSA1 (1999)","DOI":"10.1007\/978-0-387-35563-4_3"},{"issue":"3","key":"4_CR26","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/S0164-1212(03)00063-3","volume":"68","author":"N. Medvidovic","year":"2003","unstructured":"Medvidovic, N., Gr\u00fcnbacher, P., Egyed, A., Boehm, B.: Bridging Models across the Software Life-Cycle. Journal for Software Systems (JSS)\u00a068(3), 199\u2013215 (2003)","journal-title":"Journal for Software Systems (JSS)"},{"issue":"3","key":"4_CR27","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":"4_CR28","doi-asserted-by":"crossref","unstructured":"Mustapic, G., Wall, A., Norstrom, C., Crnkovic, I., Sandstrom, K., Andersson, J.: Real world influences on software architecture - interviews with industrial system experts. In: Fourth Working IEEE\/IFIP Conference on Software Architecture, WICSA 2004, June 2004, pp. 101\u2013111 (2004)","DOI":"10.1109\/WICSA.2004.1310694"},{"issue":"3","key":"4_CR29","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1109\/2.910904","volume":"34","author":"B. Nuseibeh","year":"2001","unstructured":"Nuseibeh, B.: Weaving Together Requirements and Architectures. IEEE Computer\u00a034(3), 115\u2013117 (2001)","journal-title":"IEEE Computer"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Ostrand, T.J., Balcer, M.J.: The Category-Partition Method for Specifying and Generating Functional Tests. In: Communications of the ACM, pp. 676\u2013686 (1998)","DOI":"10.1145\/62959.62964"},{"key":"4_CR31","unstructured":"Pelliccione, P., Inverardi, P., Muccini, H.: Charmy: A framework for Designing and Validating Architectural Specifications. Technical report, Department of Computer Science, University of L\u2019Aquila (May 2005)"},{"key":"4_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/11424529_18","volume-title":"Component-Based Software Engineering","author":"P. Pelliccione","year":"2005","unstructured":"Pelliccione, P., Muccini, H., Bucchiarone, A., Facchini, F.: Deriving Test Sequences from Model-based Specifications. In: Heineman, G.T., Crnkovi\u0107, I., Schmidt, H.W., Stafford, J.A., Szyperski, C., Wallnau, K. (eds.) CBSE 2005. LNCS, vol.\u00a03489, pp. 267\u2013282. Springer, Heidelberg (2005)"},{"key":"4_CR33","doi-asserted-by":"crossref","unstructured":"Richardson, D.J., Inverardi, P.: ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing. In: ACM SIGSOFT Software Engineering Notes, vol.\u00a024(4) (1999)","DOI":"10.1145\/329155.329161"},{"key":"4_CR34","volume-title":"The Catalysis approach","author":"D.D. Souza","year":"1998","unstructured":"Souza, D.D., Wills, A.C.: Objects, components, and frameworks with UML. In: The Catalysis approach. Addison-Wesley, Reading (1998)"},{"key":"4_CR35","unstructured":"Zhao, J.: Software Architecture Slicing. In: Proceedings of the 14th Annual Conference of Japan Society for Software Science and Technology (1997)"}],"container-title":["Lecture Notes in Computer Science","Quality of Software Architectures and Software Quality"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11558569_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T15:43:51Z","timestamp":1736005431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11558569_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540290339","9783540320562"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/11558569_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}