{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T09:03:48Z","timestamp":1774602228902,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,22]],"date-time":"2011-10-22T00:00:00Z","timestamp":1319241600000},"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":[[2011,10,22]]},"DOI":"10.1145\/2047862.2047867","type":"proceedings-article","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T08:23:06Z","timestamp":1319530986000},"page":"13-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":39,"title":["Feature interactions, products, and composition"],"prefix":"10.1145","author":[{"given":"Don","family":"Batory","sequence":"first","affiliation":[{"name":"University of Texas at Austin, Austin, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"H\u00f6fner","sequence":"additional","affiliation":[{"name":"University of Augsburg, Augsburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jongwook","family":"Kim","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, Austin, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,10,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"Aho A.","year":"2006","unstructured":"A. Aho , M. S. Lam , R. Sethi , and J. D. Ullman . Compilers: Principles, Techniques, and Tools Second Edition. pearson Education , 2006 . A. Aho, M. S. Lam, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools Second Edition. pearson Education, 2006."},{"key":"e_1_3_2_1_2_1","author":"Apel S.","year":"2009","unstructured":"S. Apel and C. K\u00e4stner . An overview of feature-oriented software development. Journal of Object Technology , July-August 2009 . S. Apel and C. K\u00e4stner. An overview of feature-oriented software development. Journal of Object Technology, July-August 2009.","journal-title":"Journal of Object Technology"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70770"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070523"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.02.001"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2010.11"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1987.231057"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.23"},{"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\/1868294.1868298"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11561347_28"},{"key":"e_1_3_2_1_13_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_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_2"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040325"},{"key":"e_1_3_2_1_16_1","volume-title":"Fundamentals of Software Engineering","author":"Ghezzi C.","year":"2002","unstructured":"C. Ghezzi , M. Jazayeri , and D. Mandrioli . Fundamentals of Software Engineering . Prentice Hall , 2002 . C. Ghezzi, M. Jazayeri, and D. Mandrioli. Fundamentals of Software Engineering. Prentice Hall, 2002."},{"key":"e_1_3_2_1_17_1","volume-title":"Office open XML file formats","author":"International E.","year":"2008","unstructured":"E. International . Office open XML file formats , 2 nd Edition. http:\/\/www.ecma-international.org\/publications\/standards\/Ecma-376.htm, 2008 . E. International. Office open XML file formats, 2nd Edition. http:\/\/www.ecma-international.org\/publications\/standards\/Ecma-376.htm, 2008.","edition":"2"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.729683"},{"key":"e_1_3_2_1_19_1","unstructured":"K. Kang. Private Correspondence Oct. 2003.  K. Kang. Private Correspondence Oct. 2003."},{"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","author":"Kang K.","year":"1990","unstructured":"K. Kang , S. Cohen , J. Hess , W. Novak , and A. Peterson . Feature-oriented domain analysis (foda) feasibility study . Carnegie Mellon University\/SEI- 90-TR-021, 1990 . K. Kang, S. Cohen, J. Hess, W. Novak, and A. Peterson. Feature-oriented domain analysis (foda) feasibility study. Carnegie Mellon University\/SEI-90-TR-021, 1990."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368131"},{"key":"e_1_3_2_1_23_1","volume-title":"SPLC","author":"K\u00e4stner C.","year":"2009","unstructured":"C. K\u00e4stner and et al. On the impact of the optional feature problem: Analysis and case studies . In SPLC , 2009 . C. K\u00e4stner and et al. On the impact of the optional feature problem: Analysis and case studies. In SPLC, 2009."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449913.1449919"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134303"},{"key":"e_1_3_2_1_27_1","volume-title":"Int. Conf. on Feature Interactions","author":"Liu J.","year":"2005","unstructured":"J. Liu , D. Batory , and S. Nedunuri . Modeling interactions in feature oriented designs . In Int. Conf. on Feature Interactions , 2005 . J. Liu, D. Batory, and S. Nedunuri. Modeling interactions in feature oriented designs. In Int. Conf. on Feature Interactions, 2005."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111542.1111554"},{"key":"e_1_3_2_1_29_1","volume-title":"http:\/\/www.cs.unm.edu\/~mccune\/prover9\/","author":"McCune W.","year":"2010","unstructured":"W. McCune . Prover9 and Mace4. http:\/\/www.cs.unm.edu\/~mccune\/prover9\/ , 2010 . W. McCune. Prover9 and Mace4. http:\/\/www.cs.unm.edu\/~mccune\/prover9\/, 2010."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053389"},{"key":"e_1_3_2_1_31_1","volume-title":"http:\/\/www.pure-systems.com\/flash\/pv-wordintegration\/flash.html","year":"2010","unstructured":"Automatic generation of word document variants. http:\/\/www.pure-systems.com\/flash\/pv-wordintegration\/flash.html , 2010 . Automatic generation of word document variants. http:\/\/www.pure-systems.com\/flash\/pv-wordintegration\/flash.html, 2010."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/1885639.1885645"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088348.1088349"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/1885639.1885647"}],"event":{"name":"GPCE '11: Generative Programming and Component Engineering","location":"Portland Oregon USA","acronym":"GPCE '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 10th ACM international conference on Generative programming and component engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2047862.2047867","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2047862.2047867","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:31Z","timestamp":1750225711000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2047862.2047867"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,22]]},"references-count":32,"alternative-id":["10.1145\/2047862.2047867","10.1145\/2047862"],"URL":"https:\/\/doi.org\/10.1145\/2047862.2047867","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2189751.2047867","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,10,22]]},"assertion":[{"value":"2011-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}