{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T04:12:40Z","timestamp":1773375160408,"version":"3.50.1"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319947631","type":"print"},{"value":"9783319947648","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-94764-8_16","type":"book-chapter","created":{"date-parts":[[2018,7,7]],"date-time":"2018-07-07T09:03:35Z","timestamp":1530954215000},"page":"377-400","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Functional Decomposition for Software Architecture Evolution"],"prefix":"10.1007","author":[{"given":"David","family":"Faitelson","sequence":"first","affiliation":[]},{"given":"Robert","family":"Heinrich","sequence":"additional","affiliation":[]},{"given":"Shmuel","family":"Tyszberowicz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,8]]},"reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0164-1212(79)90022-0","volume":"1","author":"MM Lehman","year":"1980","unstructured":"Lehman, M.M.: On understanding laws, evolution, and conservation in the large-program life cycle. J. Syst. Softw. 1, 213\u2013221 (1980)","journal-title":"J. Syst. Softw."},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.infsof.2009.07.002","volume":"52","author":"BJ Williams","year":"2010","unstructured":"Williams, B.J., Carver, J.C.: Characterizing software architecture changes: a systematic review. Inf. Softw. Technol. 52, 31\u201351 (2010)","journal-title":"Inf. Softw. Technol."},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1007\/s10270-012-0276-6","volume":"13","author":"K Yskout","year":"2014","unstructured":"Yskout, K., Scandariato, R., Joosen, W.: Change patterns - co-evolving requirements and architecture. Softw. Syst. Model. 13, 625\u2013648 (2014)","journal-title":"Softw. Syst. Model."},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1007\/s00165-017-0428-0","volume":"29","author":"D Faitelson","year":"2017","unstructured":"Faitelson, D., Tyszberowicz, S.: Improving design decomposition (extended version). Form. Asp. Comput. 29, 601\u2013627 (2017)","journal-title":"Form. Asp. Comput."},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/j.infsof.2011.06.002","volume":"54","author":"HP Breivold","year":"2012","unstructured":"Breivold, H.P., Crnkovic, I., Larsson, M.: A systematic review of software architecture evolution research. Inf. Softw. Technol. 54, 16\u201340 (2012)","journal-title":"Inf. Softw. Technol."},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Rostami, K., Stammel, J., Heinrich, R., Reussner, R.: Architecture-based assessment and planning of change requests. In: 11th International ACM SIGSOFT Conference on Quality of Software Architectures, QoSA, pp. 21\u201330 (2015)","DOI":"10.1145\/2737182.2737198"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Faitelson, D., Heinrich, R., Tyszberowicz, S.: Supporting software architecture evolution by functional decomposition. In: Pires, L.F., Hammoudi, S., Selic, B. (eds.) 5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Porto, Portugal, pp. 435\u2013442 (2017)","DOI":"10.5220\/0006206204350442"},{"key":"16_CR8","volume-title":"Using Z: Specification, Refinement, and Proof","author":"J Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice-Hall, Upper Saddle River (1996)"},{"key":"16_CR9","unstructured":"Abrial, J.: The B-book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)"},{"key":"16_CR10","first-page":"1","volume":"77","author":"J Abrial","year":"2007","unstructured":"Abrial, J., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: application to Event-B. Fundam. Inform. 77, 1\u201328 (2007)","journal-title":"Fundam. Inform."},{"key":"16_CR11","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D Jackson","year":"2012","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2012)"},{"key":"16_CR12","volume-title":"The Relational Model for Database Management","author":"E Codd","year":"1990","unstructured":"Codd, E.: The Relational Model for Database Management. Addison-Wesley Longman Publishing, Boston (1990)"},{"key":"16_CR13","volume-title":"Z Notation - A Reference Manual","author":"JM Spivey","year":"1992","unstructured":"Spivey, J.M.: Z Notation - A Reference Manual, 2nd edn. Prentice Hall, Upper Saddle River (1992)","edition":"2"},{"key":"16_CR14","unstructured":"Subsystem decomposition. \nhttp:\/\/goo.gl\/m5gnW3\n\n. Accessed Apr 2018"},{"key":"16_CR15","volume-title":"Programming from Specifications","author":"C Morgan","year":"1990","unstructured":"Morgan, C.: Programming from Specifications. Prentice-Hall, Inc., Upper Saddle River (1990)"},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-319-25942-0_12","volume-title":"Dependable Software Engineering: Theories, Tools, and Applications","author":"D Faitelson","year":"2015","unstructured":"Faitelson, D., Tyszberowicz, S.: Improving design decomposition. In: Li, X., Liu, Z., Yi, W. (eds.) SETTA 2015. LNCS, vol. 9409, pp. 185\u2013200. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-25942-0_12"},{"key":"16_CR17","unstructured":"North, S.C.: Drawing graphs with NEATO. NEATO User\u2019s Manual (2004)"},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/0020-0190(89)90102-6","volume":"31","author":"T Kamada","year":"1989","unstructured":"Kamada, T., Kawai, S.: An algorithm for drawing general undirected graphs. Inf. Process. Lett. 31, 7\u201315 (1989)","journal-title":"Inf. Process. Lett."},{"key":"16_CR19","unstructured":"OMG: UML superstructure specification, v2.4.1. Technical report, OMG (2011)"},{"key":"16_CR20","volume-title":"Modeling and Simulating Software Architectures: The Palladio Approach","author":"RH Reussner","year":"2016","unstructured":"Reussner, R.H., Becker, S., Happe, J., Heinrich, R., Koziolek, A., Koziolek, H., Kramer, M., Krogmann, K.: Modeling and Simulating Software Architectures: The Palladio Approach. MIT Press, Cambridge (2016)"},{"key":"16_CR21","unstructured":"Heinrich, R., Rostami, K., Stammel, J., Knapp, T., Reussner, R.: Architecture-based analysis of changes in information system evolution. In: 17th Workshop Software-Reengineering & Evolution, SWT-Trends, vol. 34 (2015)"},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-319-10885-8_8","volume-title":"Computer Performance Engineering","author":"C Heger","year":"2014","unstructured":"Heger, C., Heinrich, R.: Deriving work plans for solving performance and scalability problems. In: Horv\u00e1th, A., Wolter, K. (eds.) EPEW 2014. LNCS, vol. 8721, pp. 104\u2013118. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-10885-8_8"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Rostami, K., Heinrich, R., Busch, A., Reussner, R.: Architecture-based change impact analysis in information systems and business processes. In: 2017 IEEE International Conference on Software Architecture (ICSA), pp. 179\u2013188 (2017)","DOI":"10.1109\/ICSA.2017.17"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Vogel-Heuser, B., Heinrich, R., Cha, S., Rostami, K., Ocker, F., Koch, S., Reussner, R., Ziegltrum, S.: Maintenance effort estimation with kamp4aps for cross-disciplinary automated production systems - a collaborative approach. In: 20th IFAC World Congress, Toulouse, France (2017)","DOI":"10.1016\/j.ifacol.2017.08.877"},{"key":"16_CR25","first-page":"219","volume":"25","author":"A Vanya","year":"2013","unstructured":"Vanya, A., Klusener, S., Premraj, R., van Vliet, H.: Supporting software architects to improve their software system\u2019s decomposition - lessons learned. J. Softw.: Evol. Process 25, 219\u2013232 (2013)","journal-title":"J. Softw.: Evol. Process"},{"key":"16_CR26","series-title":"Software Engineering Research","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-8348-8675-0","volume-title":"Clustering-Based Support for Software Architecture Restructuring","author":"N Streekmann","year":"2011","unstructured":"Streekmann, N.: Clustering-Based Support for Software Architecture Restructuring. Software Engineering Research. Vieweg+Teubner Verlag, Wiesbaden (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-8348-8675-0"},{"key":"16_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-59412-0_26","volume-title":"Software Pioneers","author":"DL Parnas","year":"2002","unstructured":"Parnas, D.L.: On the criteria to be used in decomposing systems into modules. In: Broy, M., Denert, E. (eds.) Software Pioneers, pp. 1\u20136. Springer, Heidelberg (2002). \nhttps:\/\/doi.org\/10.1007\/978-3-642-59412-0_26"},{"key":"16_CR28","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J Abrial","year":"2010","unstructured":"Abrial, J.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"key":"16_CR29","unstructured":"e Abreu, F.B., Goul\u00e3o, M.: Coupling and cohesion as modularization drivers: are we being over-persuaded? In: 5th European Conference on Software Maintenance and Reengineering, CSMR, pp. 47\u201357 (2001)"},{"key":"16_CR30","doi-asserted-by":"publisher","first-page":"788","DOI":"10.1109\/TSE.2010.97","volume":"37","author":"J Al-Dallal","year":"2011","unstructured":"Al-Dallal, J.: Measuring the discriminative power of object-oriented class cohesion metrics. Trans. Softw. Eng. 37, 788\u2013804 (2011)","journal-title":"Trans. Softw. Eng."},{"key":"16_CR31","doi-asserted-by":"crossref","unstructured":"Moser, M., Misic, V.B.: Measuring class coupling and cohesion: a formal metamodel approach. In: 4th Asia-Pacific Software Engineering and International Computer Science Conference, APSEC, pp. 31\u201340 (1997)","DOI":"10.1109\/APSEC.1997.640159"},{"key":"16_CR32","doi-asserted-by":"crossref","unstructured":"Mayer, T., Hall, T.: Measuring OO systems: a critical analysis of the MOOD metrics. In: TOOLS, pp. 108\u2013117 (1999)","DOI":"10.1109\/TOOLS.1999.779004"},{"key":"16_CR33","unstructured":"Darcy, D.P., Kemerer, C.F.: Software complexity: toward a unified theory of coupling and cohesion. In: Friday Workshops, Information Systems Research Center, Carlson School of Management, University of Minnesota (2002)"},{"key":"16_CR34","unstructured":"Hitz, M., Montazeri, B.: Measuring coupling and cohesion in object-oriented systems. In: International Symposium on Applied Corporate Computing (ISACC), pp. 1\u201310 (1995)"},{"key":"16_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02414-6_1","volume-title":"Component-Based Software Engineering","author":"D Birkmeier","year":"2009","unstructured":"Birkmeier, D., Overhage, S.: On component identification approaches \u2013 classification, state of the art, and comparison. In: Lewis, G.A., Poernomo, I., Hofmeister, C. (eds.) CBSE 2009. LNCS, vol. 5582, pp. 1\u201318. Springer, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-642-02414-6_1"},{"key":"16_CR36","unstructured":"Kim, S.D., Chang, S.H.: A systematic method to identify software components. In: 11th Asia-Pacific Software Engineering Conference (APSEC), pp. 538\u2013545 (2004)"},{"key":"16_CR37","unstructured":"Lee, J.K., Jung, S.J., Kim, S.D., Jang, W.H., Ham, D.H.: Component identification method with coupling and cohesion. In: APSEC, pp. 79\u201386 (2001)"},{"key":"16_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-3-540-45242-3_33","volume-title":"Object-Oriented Information Systems","author":"Y-J Jang","year":"2003","unstructured":"Jang, Y.-J., Kim, E.-Y., Lee, K.-W.: Object-oriented component identification method using the affinity analysis technique. In: Konstantas, D., L\u00e9onard, M., Pigneur, Y., Patel, S. (eds.) OOIS 2003. LNCS, vol. 2817, pp. 317\u2013321. Springer, Heidelberg (2003). \nhttps:\/\/doi.org\/10.1007\/978-3-540-45242-3_33"},{"key":"16_CR39","doi-asserted-by":"crossref","unstructured":"Fan-Chao, M., Den-Chen, Z., Xiao-Fei, X.: Business component identification of enterprise information system: a hierarchical clustering method. In: IEEE International Conference on e-Business Engineering, ICEBE, pp. 473\u2013480 (2005)","DOI":"10.1109\/ICEBE.2005.32"},{"key":"16_CR40","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1142\/S0218194007003410","volume":"17","author":"CH Lung","year":"2007","unstructured":"Lung, C.H., Xu, X., Zaman, M.: Software architecture decomposition using attributes. Softw. Eng. Knowl. Eng. 17, 599\u2013613 (2007)","journal-title":"Softw. Eng. Knowl. Eng."},{"key":"16_CR41","volume-title":"A Guide To Task Analysis: The Task Analysis Working Group","author":"B Kirwan","year":"2003","unstructured":"Kirwan, B., Ainsworth, L.: A Guide To Task Analysis: The Task Analysis Working Group. Taylor & Francis, Abingdon (2003)"},{"key":"16_CR42","volume-title":"Software Cost Estimation with Cocomo II with Cdrom","author":"BW Boehm","year":"2000","unstructured":"Boehm, B.W., et al.: Software Cost Estimation with Cocomo II with Cdrom. Prentice Hall, Upper Saddle River (2000)"},{"key":"16_CR43","volume-title":"Architecture-Centric Software Project Management: A Practical Guide","author":"DJ Paulish","year":"2002","unstructured":"Paulish, D.J.: Architecture-Centric Software Project Management: A Practical Guide. AW, Boston (2002)"},{"key":"16_CR44","doi-asserted-by":"crossref","unstructured":"Garlan, D., et al.: Evolution styles: foundations and tool support for software architecture evolution. In: Software Architecture, WICSA\/ECSA, pp. 131\u2013140. IEEE (2009)","DOI":"10.1109\/WICSA.2009.5290799"}],"container-title":["Communications in Computer and Information Science","Model-Driven Engineering and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-94764-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,7,7]],"date-time":"2018-07-07T09:16:52Z","timestamp":1530955012000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-94764-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319947631","9783319947648"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-94764-8_16","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}