{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T05:50:31Z","timestamp":1791352231971,"version":"4.3.1"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,3,16]],"date-time":"2015-03-16T00:00:00Z","timestamp":1426464000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,3,16]]},"DOI":"10.1145\/2735386.2735843","type":"proceedings-article","created":{"date-parts":[[2015,3,17]],"date-time":"2015-03-17T12:27:54Z","timestamp":1426595274000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A theory of modularity for automated software development (keynote)"],"prefix":"10.1145","author":[{"given":"Don","family":"Batory","sequence":"first","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2015,3,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449913.1449938"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449913.1449921"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.9057"},{"key":"e_1_3_2_1_4_1","author":"Batory D.","year":"2008","unstructured":"D. Batory and E. B\u00f6rger . Modularizing theorems for software product lines: The jbook case study. Journal of Universal Computer Science, jun 2008 . D. Batory and E. B\u00f6rger. Modularizing theorems for software product lines: The jbook case study. Journal of Universal Computer Science, jun 2008.","journal-title":"Journal of Universal Computer Science, jun"},{"key":"e_1_3_2_1_5_1","series-title":"Lecture Notes in Computer Science","first-page":"18","volume-title":"Software Language Engineering","author":"Batory D.","unstructured":"D. Batory , R. Goncalves , B. Marker , and J. Siegmund . Dark knowledge and graph grammars in automated software design . In Software Language Engineering , volume 8225 of Lecture Notes in Computer Science , pages 1\u2013 18 . Springer International Publishing, 2013. D. Batory, R. Goncalves, B. Marker, and J. Siegmund. Dark knowledge and graph grammars in automated software design. In Software Language Engineering, volume 8225 of Lecture Notes in Computer Science, pages 1\u201318. Springer International Publishing, 2013."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2047862.2047867"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/551789.853531"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/136586.136587"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/97945.97982"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(02)00352-3"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/362384.362685"},{"key":"e_1_3_2_1_12_1","volume-title":"OOPSLA\/SPLASH","author":"Delaware B.","year":"2011","unstructured":"B. Delaware , W. Cook , and D. Batory . Theorem proving for product lines . In OOPSLA\/SPLASH , 2011 . B. Delaware, W. Cook, and D. Batory. Theorem proving for product lines. In OOPSLA\/SPLASH, 2011."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/539053"},{"key":"e_1_3_2_1_14_1","volume-title":"ACCAT","author":"Diskin Z.","year":"2012","unstructured":"Z. Diskin and T. S. E. Maibaum . Category theory and modeldriven engineering: From formal semantics to design patterns and beyond . In ACCAT , 2012 . Z. Diskin and T. S. E. Maibaum. Category theory and modeldriven engineering: From formal semantics to design patterns and beyond. In ACCAT, 2012."},{"key":"e_1_3_2_1_15_1","volume-title":"Fundamental Approaches to Software Engineering","author":"Ehrig H.","year":"2007","unstructured":"H. Ehrig , K. Ehrig , C. Ermel , F. Hermann , and G. Taentzer . Information preserving bidirectional model transformations . In Fundamental Approaches to Software Engineering . Springer Berlin Heidelberg , 2007 . H. Ehrig, K. Ehrig, C. Ermel, F. Hermann, and G. Taentzer. Information preserving bidirectional model transformations. In Fundamental Approaches to Software Engineering. Springer Berlin Heidelberg, 2007."},{"key":"e_1_3_2_1_16_1","volume-title":"ACM Computing Reviews","author":"Elliott R.","year":"1971","unstructured":"R. Elliott . Review : A relational model of data for large shared data banks . ACM Computing Reviews , Mar. 1971 . R. Elliott. Review: A relational model of data for large shared data banks. ACM Computing Reviews, Mar. 1971."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1406955"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268961"},{"key":"e_1_3_2_1_19_1","author":"Johnson R. E.","year":"1988","unstructured":"R. E. Johnson and B. Foote . Designing reusable classes. Journal of Object-Oriented Programming , June\/July 1988 . R. E. Johnson and B. Foote. Designing reusable classes. Journal of Object-Oriented Programming, June\/July 1988.","journal-title":"Journal of Object-Oriented Programming"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","DOI":"10.21236\/ADA235785","volume-title":"Feature-oriented domain analysis (foda) feasibility study. CMU\/SEI-90-TR-021","author":"Kang K.","year":"1990","unstructured":"K. Kang , S. Cohen , J. Hess , W. Novak , and A. Peterson . Feature-oriented domain analysis (foda) feasibility study. CMU\/SEI-90-TR-021 , 1990 . K. Kang, S. Cohen, J. Hess, W. Novak, and A. Peterson. Feature-oriented domain analysis (foda) feasibility study. CMU\/SEI-90-TR-021, 1990."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368131"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111542.1111554"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.153379"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642975"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/119358"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2371401.2371415"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/582095.582099"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/646155.679703"},{"key":"e_1_3_2_1_29_1","first-page":"99","author":"Smith D. R.","year":"1999","unstructured":"D. R. Smith . Mechanizing the development of software. In Client Resources on the Internet , IEEE Multimedia Systems 99 , 1999 . D. R. Smith. Mechanizing the development of software. In Client Resources on the Internet, IEEE Multimedia Systems 99, 1999.","journal-title":"IEEE Multimedia Systems"},{"key":"e_1_3_2_1_30_1","volume-title":"The Z Notation: A Reference Manual","author":"Spivey J.","year":"1989","unstructured":"J. Spivey . The Z Notation: A Reference Manual . Prentice Hall , 1989 . J. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 1989."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59495-3","volume-title":"Java and the java virtual machine - definition, verification, validation","author":"St\u00e4rk R.","year":"2001","unstructured":"R. St\u00e4rk , J. Schmid , and E. B\u00f6rger . Java and the java virtual machine - definition, verification, validation , 2001 . R. St\u00e4rk, J. Schmid, and E. B\u00f6rger. Java and the java virtual machine - definition, verification, validation, 2001."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.36"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.30"},{"key":"e_1_3_2_1_35_1","unstructured":"WikiQuotes. Plato\u2019s theory of forms. http:\/\/en. wikipedia.org\/wiki\/Theory_of_Forms.  WikiQuotes. Plato\u2019s theory of forms. http:\/\/en. wikipedia.org\/wiki\/Theory_of_Forms."}],"event":{"name":"Modularity '15: Companion publication of the 14th International Conference on Modularity","location":"Fort Collins CO USA","acronym":"Modularity '15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Companion Proceedings of the 14th International Conference on Modularity"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2735386.2735843","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2735386.2735843","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:17:02Z","timestamp":1750227422000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2735386.2735843"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,16]]},"references-count":34,"alternative-id":["10.1145\/2735386.2735843","10.1145\/2735386"],"URL":"https:\/\/doi.org\/10.1145\/2735386.2735843","relation":{},"subject":[],"published":{"date-parts":[[2015,3,16]]},"assertion":[{"value":"2015-03-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}