{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T02:53:30Z","timestamp":1776740010146,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T00:00:00Z","timestamp":1445817600000},"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,10,26]]},"DOI":"10.1145\/2814251.2814263","type":"proceedings-article","created":{"date-parts":[[2020,12,24]],"date-time":"2020-12-24T04:19:10Z","timestamp":1608783550000},"page":"149-160","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Using decision rules for solving conflicts in extended feature models"],"prefix":"10.1145","author":[{"given":"Lina","family":"Ochoa","sequence":"first","affiliation":[{"name":"University of Los Andes, Colombia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oscar","family":"Gonz\u00e1lez-Rojas","sequence":"additional","affiliation":[{"name":"University of Los Andes, Colombia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Th\u00fcm","sequence":"additional","affiliation":[{"name":"TU Braunschweig, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Automated reasoning on feature models via constraint programming. Master\u2019s thesis","author":"Alvarez Divo C. E.","year":"2011","unstructured":"C. E. Alvarez Divo . Automated reasoning on feature models via constraint programming. Master\u2019s thesis , Uppsala University , Department of Information Technology, 2011 . C. E. Alvarez Divo. Automated reasoning on feature models via constraint programming. Master\u2019s thesis, Uppsala University, Department of Information Technology, 2011."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1237975"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431855_34"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11877028_16"},{"key":"e_1_3_2_1_5_1","unstructured":".  ."},{"key":"e_1_3_2_1_6_1","first-page":"134","volume-title":"First International Workshop on Variability Modelling of Software Intensive Systems (VAMOS)","author":"Benavides D.","year":"2007","unstructured":"D. Benavides , S. Segura , P. Trinidad , and A. Ruiz-cort \u00e9s . Fama: Tooling a framework for the automated analysis of feature models . In First International Workshop on Variability Modelling of Software Intensive Systems (VAMOS) , pages 129\u2013 134 , 2007 . D. Benavides, S. Segura, P. Trinidad, and A. Ruiz-cort\u00e9s. Fama: Tooling a framework for the automated analysis of feature models. In First International Workshop on Variability Modelling of Software Intensive Systems (VAMOS), pages 129\u2013134, 2007."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"J.\n      Chavarriaga C.\n      Noguera R.\n      Casallas and \n      V.\n      Jonckers\n  . \n  Propagating decisions to detect and explain conflicts in a multi-step configuration process\n  . In J. Dingel W. Schulte I. Ramos S. Abrah\u02dcao and E. Insfran editors Model-Driven Engineering Languages and Systems volume \n  8767\n   of \n  LNCS pages 337\u2013\n  352\n  . Springer International Publishing 2014..  J. Chavarriaga C. Noguera R. Casallas and V. Jonckers. Propagating decisions to detect and explain conflicts in a multi-step configuration process. In J. Dingel W. Schulte I. Ramos S. Abrah\u02dcao and E. Insfran editors Model-Driven Engineering Languages and Systems volume 8767 of LNCS pages 337\u2013352. Springer International Publishing 2014..","DOI":"10.1007\/978-3-319-11653-2_21"},{"key":"e_1_3_2_1_8_1","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"Czarnecki K.","year":"2000","unstructured":"K. Czarnecki and U. W. Eisenecker . Generative Programming: Methods, Tools, and Applications . ACM Press\/Addison-Wesley Publishing Co. , New York, NY, USA , 2000 . ISBN 0-201-30977-7. K. Czarnecki and U. W. Eisenecker. Generative Programming: Methods, Tools, and Applications. ACM Press\/Addison-Wesley Publishing Co., New York, NY, USA, 2000. ISBN 0-201-30977-7."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/spip.225"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-010-0185-5"},{"key":"e_1_3_2_1_11_1","first-page":"10","volume-title":"CPAIOR\u201908 Workshop on Open-Source Software for Integer and Contraint Programming","author":"Jussien N.","year":"2008","unstructured":"N. Jussien , G. Rochart , and X. Lorca . Choco: an Open Source Java Constraint Programming Library . In CPAIOR\u201908 Workshop on Open-Source Software for Integer and Contraint Programming , pages 1\u2013 10 , Paris, France , 2008 . N. Jussien, G. Rochart, and X. Lorca. Choco: an Open Source Java Constraint Programming Library. In CPAIOR\u201908 Workshop on Open-Source Software for Integer and Contraint Programming, pages 1\u201310, Paris, France, 2008."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.06.004"},{"key":"e_1_3_2_1_14_1","unstructured":"D. Kolovos L. Rose and R. Paige. The Epsilon Book. http:\/\/www.eclipse.org\/epsilon\/doc\/book\/ January 2013.  D. Kolovos L. Rose and R. Paige. The Epsilon Book. http:\/\/www.eclipse.org\/epsilon\/doc\/book\/ January 2013."},{"key":"e_1_3_2_1_15_1","series-title":"LNCS","first-page":"77","volume-title":"Software Reuse: Methods, Techniques, and Tools","author":"Lee K.","unstructured":"K. Lee , K. Kang , and J. Lee . Concepts and guidelines of feature modeling for product line software engineering . In C. Gacek, editor, Software Reuse: Methods, Techniques, and Tools , volume 2319 of LNCS , pages 62\u2013 77 . Springer, 2002.. K. Lee, K. Kang, and J. Lee. Concepts and guidelines of feature modeling for product line software engineering. In C. Gacek, editor, Software Reuse: Methods, Techniques, and Tools, volume 2319 of LNCS, pages 62\u201377. Springer, 2002.."},{"key":"e_1_3_2_1_16_1","first-page":"92","volume-title":"Brazilian Conference on Software (CBSoft), Tools Session","author":"Machado L.","year":"2014","unstructured":"L. Machado , J. Pereira , L. Garcia , and E. Figueiredo . SPLConfig: Product configuration in software product line . In Brazilian Conference on Software (CBSoft), Tools Session , pages 85\u2013 92 , Maceio, Brazil , September 2014 . L. Machado, J. Pereira, L. Garcia, and E. Figueiredo. SPLConfig: Product configuration in software product line. In Brazilian Conference on Software (CBSoft), Tools Session, pages 85\u201392, Maceio, Brazil, September 2014."},{"key":"e_1_3_2_1_17_1","volume-title":"Efficient reasoning techniques for large scale feature models. Master\u2019s thesis","author":"Mendonc\u00b8a M.","year":"2009","unstructured":"M. Mendonc\u00b8a . Efficient reasoning techniques for large scale feature models. Master\u2019s thesis , University of Waterloo , Waterloo , 01\/ 2009 2009. M. Mendonc\u00b8a. Efficient reasoning techniques for large scale feature models. Master\u2019s thesis, University of Waterloo, Waterloo, 01\/2009 2009."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362543"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2006.23"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362548"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.06.002"},{"key":"e_1_3_2_1_22_1","volume-title":"1st International Workshop on Agile Product Line Engineering (APLE\u201906)","author":"Trinidad P.","year":"2006","unstructured":"P. Trinidad , D. Benavides , A. Ruiz-Cort\u00e9s , S. Segura , and M. Toro . Explanations for agile feature models . In 1st International Workshop on Agile Product Line Engineering (APLE\u201906) , 2006 . P. Trinidad, D. Benavides, A. Ruiz-Cort\u00e9s, S. Segura, and M. Toro. Explanations for agile feature models. In 1st International Workshop on Agile Product Line Engineering (APLE\u201906), 2006."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.02.017"},{"key":"e_1_3_2_1_24_1","unstructured":"Xtext. Xtext documentation. http:\/\/www.eclipse.org\/Xtext\/ 2014.  Xtext. Xtext documentation. http:\/\/www.eclipse.org\/Xtext\/ 2014."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-010-0179-3"}],"event":{"name":"SLE '15: Software Language Engineering","location":"Pittsburgh PA USA","acronym":"SLE '15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814251.2814263","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2814251.2814263","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:12:47Z","timestamp":1750227167000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814251.2814263"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,26]]},"references-count":24,"alternative-id":["10.1145\/2814251.2814263","10.1145\/2814251"],"URL":"https:\/\/doi.org\/10.1145\/2814251.2814263","relation":{},"subject":[],"published":{"date-parts":[[2015,10,26]]},"assertion":[{"value":"2015-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}