{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:37:20Z","timestamp":1725475040240},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540488194"},{"type":"electronic","value":"9783540488200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11921998_13","type":"book-chapter","created":{"date-parts":[[2006,12,6]],"date-time":"2006-12-06T08:20:03Z","timestamp":1165393203000},"page":"127-144","source":"Crossref","is-referenced-by-count":0,"title":["A Practical Architecture-Centric Analysis Process"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Bucchiarone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henry","family":"Muccini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","first-page":"28","volume-title":"Software Engineering - A Practitioner\u2019s Approach","author":"R. Pressman","year":"1987","unstructured":"Pressman, R.: Software Engineering - A Practitioner\u2019s Approach, pp. 28\u201329. McGraw-Hill, Singapore (1987)"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-540-39800-4_7","volume-title":"Formal Methods for Software Architectures","author":"A. Bertolino","year":"2003","unstructured":"Bertolino, A., Inverardi, P., Muccini, H.: Formal Methods in Testing Software Architectures. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 122\u2013147. Springer, Heidelberg (2003)"},{"key":"13_CR3","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":"13_CR4","series-title":"SEI Series in Software Eng","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 Eng. Addison-Wesley Professional, Reading (2003)","edition":"2"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Marchetti, E., Muccini, H.: Introducing a Reasonably Complete and Coherent Approach for Model-based Testing. In: Testing and Analysis of Component-Based Systems Workshop, Tacos (2004)","DOI":"10.1016\/j.entcs.2004.02.084"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., Taylor, R.N.: A Classification and Comparison Framework for Software Architecture Description Languages. IEEE TSE\u00a026(1) (2000)","DOI":"10.1109\/32.825767"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., Rosenblum, D.S., Redmiles, D.F., Robbins, J.E.: Modeling Software Architectures in the Unified Modeling Language. ACM TOSEM\u00a011(1) (2002)","DOI":"10.1145\/504087.504088"},{"key":"13_CR8","unstructured":"STRAW 2003: Second Int. Workshop From Software Requirements to Architectures, Portland, Oregon, USA (May 09, 2003)"},{"key":"13_CR9","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, pp. 101\u2013111 (2004)","DOI":"10.1109\/WICSA.2004.1310694"},{"key":"13_CR10","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":"13_CR11","volume-title":"Software engineering","author":"I. Sommerville","year":"2004","unstructured":"Sommerville, I.: Software engineering, 7th edn. Addison-Wesley Longman Publishing Co., Inc., Boston (2004)","edition":"7"},{"key":"13_CR12","unstructured":"Autili, M., Pelliccione, P.: Towards a Graphical Tool for Refining User to System Requirements. In: 5th GT-VMT 2006 - ETAPS 2006 (to appear in ENTCS) (2006)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE, pp. 411\u2013420 (1999)","DOI":"10.1145\/302405.302672"},{"key":"13_CR14","unstructured":"PSC Project : PSC web site (2005), http:\/\/www.di.univaq.it\/psc2ba"},{"key":"13_CR15","volume-title":"5th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM 2006)","author":"M. Autili","year":"2006","unstructured":"Autili, M., Inverardi, P., Pelliccione, P.: A scenario based notation for specifying temporal properties. In: 5th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM 2006), Shanghai, China. ACM Press, New York (2006)"},{"key":"13_CR16","unstructured":"Buchi, J.: On a decision method in restricted second order arithmetic. In: International Congress on Logic, Method and Philosophical Sciences (1960)"},{"key":"13_CR17","unstructured":"CHARMY Project: Charmy Web Site (2004), http:\/\/www.di.univaq.it\/charmy"},{"key":"13_CR18","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1145\/1081706.1081726","volume-title":"ESEC\/FSE-13: Proceedings of the 10th European software engineering conference","author":"P. Inverardi","year":"2005","unstructured":"Inverardi, P., Muccini, H., Pelliccione, P.: Charmy: an extensible tool for architectural analysis. In: ESEC\/FSE-13: Proceedings of the 10th European software engineering conference, pp. 111\u2013114. ACM Press, New York (2005)"},{"key":"13_CR19","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":"13_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of reactive and concurrent systems.","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems. Springer, New York (1992)"},{"key":"13_CR21","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.: TeStor: 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":"13_CR22","unstructured":"Hartman, A.: Model Based Test Generation Tools. Technical report, AGEDIS project Downloads (2002)"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Abi-Antoun, M., Aldrich, J., Garlan, D., Schmerl, B., Nahas, N., Tseng, T.: Improving System Dependability by Enforcing Architectural Intent. In: ICSE 2005 Work. on Architecting Depend. Systems (2005)","DOI":"10.1145\/1083217.1083218"},{"key":"13_CR24","unstructured":"Hacklinger, F.: Java\/a - taking components into java. In: Proc. 13th ISCA Int. Conf. Intelligent and Adaptive Systems and Software Engineering (IASSE 2004), pp. 163\u2013169 (2004)"},{"key":"13_CR25","unstructured":"ETSI EN 300 417: Transmission and Multiplexing (TM); Generic requirements of transport functionality of equipment. Eur. Telecom. Standards Institute (2001)"},{"key":"13_CR26","unstructured":"ITU-TG.783: SERIES G: Transmission Systems and Media, Digiral Systems and Networks - Digital terminal equipments - Principal characteristics of multiplexing equipment for the synchronous digital hierarchy. Int. Telecommunication Union (1997)"},{"key":"13_CR27","unstructured":"Cardone, M.: Experiencing Architectural Analysis in Industrial Contexts. Master\u2019s thesis, Computer Science Department. University of L\u2019Aquila, Italy (2005)"},{"key":"13_CR28","doi-asserted-by":"crossref","unstructured":"Smolander, K., Hoikka, K., Isokallio, J., Kataikko, M., Makela, T.: What is Included in Software Architecture? - A Case Study in Three Software Organizations. In: 9th IEEE International Conference on Engineering of Computer-Based Systems, pp. 131\u2013138 (2002)","DOI":"10.1109\/ECBS.2002.999831"},{"key":"13_CR29","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":"13_CR30","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":"13_CR31","unstructured":"TOGAF 8: The Open Group Architecture Framework (2005), http:\/\/www.opengroup.org\/architecture\/togaf\/"},{"key":"13_CR32","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":"13_CR33","unstructured":"Muccini, H., Inverardi, P., Pelliccione, P.: DUALLY: Putting in Synergy UML 2.0 and ADLs. In: 5th IEEE\/IFIP Working Conference on Software Architecture (WICSA 2005) (2005)"}],"container-title":["Lecture Notes in Computer Science","Quality of Software Architectures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11921998_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:44:24Z","timestamp":1619509464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11921998_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540488194","9783540488200"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/11921998_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}