{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:24:51Z","timestamp":1750307091388,"version":"3.41.0"},"reference-count":38,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2012,11,1]],"date-time":"2012-11-01T00:00:00Z","timestamp":1351728000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000172","name":"Division of Undergraduate Education","doi-asserted-by":"publisher","award":["CCF-1065189, CCF-0916891, and DUE-0837665"],"award-info":[{"award-number":["CCF-1065189, CCF-0916891, and DUE-0837665"]}],"id":[{"id":"10.13039\/100000172","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-1065189, CCF-0916891, and DUE-0837665"],"award-info":[{"award-number":["CCF-1065189, CCF-0916891, and DUE-0837665"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2012,11]]},"abstract":"<jats:p>\n            Neither the nature of modularity in software design, characterized as a property of the structure of dependencies among design decisions, or its economic value are adequately well understood. One basic problem is that we do not even have a sufficiently clear definition of what it means for one design decision to depend on another. The main contribution of this work is one possible mathematically precise definition of\n            <jats:italic>dependency<\/jats:italic>\n            based on an\n            <jats:italic>augmented constraint network<\/jats:italic>\n            model. The model provides an end-to-end account of the connection between modularity and its value in terms of options to make adaptive changes in uncertain and changing design spaces. We demonstrate the validity and theoretical utility of the model, showing that it is consistent with, and provides new insights into, several previously published results in design theory.\n          <\/jats:p>","DOI":"10.1145\/2377656.2377658","type":"journal-article","created":{"date-parts":[[2013,2,5]],"date-time":"2013-02-05T13:19:41Z","timestamp":1360070381000},"page":"1-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A formal model for automated software modularity and evolvability analysis"],"prefix":"10.1145","volume":"21","author":[{"given":"Yuanfang","family":"Cai","sequence":"first","affiliation":[{"name":"Drexel University, Philadelphia, PA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"Sullivan","sequence":"additional","affiliation":[{"name":"University of Virginia, Charlottesville, VA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,2,7]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/226241.226244"},{"key":"e_1_2_1_2_1","unstructured":"Arnold R. and Bohner S. 1996. Software Change Impact Analysis Ist Ed. Wiley-IEEE.   Arnold R. and Bohner S. 1996. Software Change Impact Analysis Ist Ed. Wiley-IEEE."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.05.070"},{"key":"e_1_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Baldwin C. Y. and Clark K. B. 2000. Design Rules Vol. 1: The Power of Modularity. MIT Press.   Baldwin C. Y. and Clark K. B. 2000. Design Rules Vol. 1: The Power of Modularity. MIT Press.","DOI":"10.7551\/mitpress\/2366.001.0001"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/136586.136587"},{"volume-title":"Proceedings of the 6th International Conference on Logic Programming, G. Levi and M. Martelli, Eds., MIT Press","author":"Borning A.","key":"e_1_2_1_6_1"},{"key":"e_1_2_1_7_1","unstructured":"Cai Y. 2006. Modularity in design: Formal modeling and automated analysis. Ph.D. thesis University of Virginia.   Cai Y. 2006. Modularity in design: Formal modeling and automated analysis. Ph.D. thesis University of Virginia."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321704"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101962"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.53"},{"key":"e_1_2_1_11_1","unstructured":"Clarke E. M. Grumberg O. and Peled D. A. 2000. Model Checking. MIT Press.  Clarke E. M. Grumberg O. and Peled D. A. 2000. Model Checking. MIT Press."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1080\/09544829108901686"},{"volume":"1","volume-title":"Eds.","author":"Garlan D.","key":"e_1_2_1_13_1"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368144"},{"volume-title":"Proceedings of the International Scientific Computing in Object-Oriented Parallel Environments. 249--256","author":"Irwin J.","key":"e_1_2_1_15_1"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"volume-title":"Proceedings of the European Conference on Object-Oriented Programming. Springer, 220--42","author":"Kiczales G.","key":"e_1_2_1_17_1"},{"key":"e_1_2_1_18_1","unstructured":"Lane T. G. 1990. Studying software architecture through design spaces and rules. Tech. rep. CMU\/SEI-90-TR-18 CMU.  Lane T. G. 1990. Studying software architecture through design spaces and rules. Tech. rep. CMU\/SEI-90-TR-18 CMU."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.318597"},{"volume-title":"Hypercast: A protocol for maintaining multicast group members in a logical hypercube topology","year":"1999","author":"Liebeherr J.","key":"e_1_2_1_20_1"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.803067"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1052898.1052900"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90007-8"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/513829.513835"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/361598.361623"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.234169"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094824"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2009.5290817"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.60586"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28630-1_12"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1142\/S021819400100061X"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEM.1981.6448589"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503224"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081734"},{"volume-title":"Software Architecture: Foundations, Theory and Practice","year":"2009","author":"Taylor R. N.","key":"e_1_2_1_35_1"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.55"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985850"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.53"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2377656.2377658","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2377656.2377658","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:34:33Z","timestamp":1750239273000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2377656.2377658"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11]]},"references-count":38,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,11]]}},"alternative-id":["10.1145\/2377656.2377658"],"URL":"https:\/\/doi.org\/10.1145\/2377656.2377658","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"type":"print","value":"1049-331X"},{"type":"electronic","value":"1557-7392"}],"subject":[],"published":{"date-parts":[[2012,11]]},"assertion":[{"value":"2008-09-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-04-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-02-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}