{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T21:08:19Z","timestamp":1792184899293,"version":"4.4.0"},"reference-count":40,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1109\/icse.2009.5070526","type":"proceedings-article","created":{"date-parts":[[2009,6,10]],"date-time":"2009-06-10T14:24:29Z","timestamp":1244643869000},"page":"254-264","source":"Crossref","is-referenced-by-count":217,"title":["Reasoning about edits to feature models"],"prefix":"10.1109","author":[{"given":"Thomas","family":"Thum","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Don","family":"Batory","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christian","family":"Kastner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","article-title":"Reasoning about Feature Model Edits","author":"th\u00fcm","year":"2008"},{"key":"ref38","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/1289971.1289989","article-title":"Safe Composition of Product Lines","author":"thaker","year":"2007","journal-title":"Proc Int'l Conf Generative Programming and Component Engineering"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1385486.1385488"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1"},{"key":"ref31","article-title":"Usability Engineering","author":"nielsen","year":"1994"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2007.61"},{"key":"ref37","first-page":"303","article-title":"Formal Semantics and Verification for Feature Modeling","author":"sun","year":"2005","journal-title":"Proc Int'l Conf on Engineering of Complex Computer Systems"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28630-1_3"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4302-0857-0"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2006.08.008"},{"key":"ref10","article-title":"Propositional Logic: Deduction and Algorithms","author":"buning","year":"1999"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.16"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(93)90069-L"},{"key":"ref12","author":"czarnecki","year":"2000","journal-title":"Generative Programming Methods Tools and Applications"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/spip.213"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1002\/spip.225"},{"key":"ref15","first-page":"16","article-title":"Cardinality-Based Feature Modeling and Constraints: A Progress Report","author":"czarnecki","year":"2005","journal-title":"Proc Int'l Workshop Software Factories OOPSLA"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SPLINE.2007.24"},{"key":"ref17","author":"forbus","year":"1993","journal-title":"Building Problem Solvers"},{"key":"ref18","article-title":"Refactoring: Improving the Design of Existing Code","author":"fowler","year":"2000"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICSR.1998.685732"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/3-540-45652-X_11","article-title":"Using First-Order Logic for Product Line Model Validation","volume":"2379","author":"mannion","year":"2002","journal-title":"Proc Int'l Software Product Line Conf"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2002.1114997"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/3-540-44800-4_2","article-title":"A standard problem for evaluating product-line methodologies","author":"lopez-herrejon","year":"2001","journal-title":"Proc Int'l Conf Generative and Component-Based Software Engineering"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/11554844_3","article-title":"Feature Models, Grammars, and Propositional Formulas","volume":"3714","author":"batory","year":"2005","journal-title":"Proc Int'l Software Product Line Conf"},{"key":"ref6","article-title":"On the Automated Analysis of Software Product Lines Using Feature Models-A Framework for Developing Automated Tool Support","author":"benavides","year":"2007"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1449913.1449918"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.23"},{"key":"ref8","first-page":"39","article-title":"A First Step Towards a Framework for the Automated Analysis of Feature Models","author":"benavides","year":"2006","journal-title":"Managing Variability for Software Product Lines Working With Variability Mechanisms"},{"key":"ref7","first-page":"367","article-title":"A Survey on the Automated Analyses of Feture Models","author":"benavides","year":"2006","journal-title":"Jornadas de Ingeniera del Software y Bases de Datos"},{"key":"ref2","author":"bass","year":"1998","journal-title":"Software Architecture in Practice"},{"key":"ref9","first-page":"677","article-title":"Using Constraint Programming to Reason on Feature Models","author":"benavides","year":"2005","journal-title":"Proc Int'l J Software Eng and Knowledge Eng"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173737"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SPLINE.2007.36"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.36"},{"key":"ref21","article-title":"Feature-Oriented Domain Analysis (FODA) Feasibility Study","author":"kang","year":"1990","journal-title":"Technical Report CMU\/SEI-90-TR-21 Software Engineering Institute"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070568"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SPLINE.2007.12"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/SPLINE.2007.31"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/11581741_24","article-title":"Synchronizing Cardinality-Based Feature Models and Their Specializations","volume":"3748","author":"kim","year":"2005","journal-title":"Proc 2nd European Conf Model Driven Architecture Foundations and Applications"}],"event":{"name":"2009 IEEE 31st International Conference on Software Engineering","location":"Vancouver, BC, Canada","start":{"date-parts":[[2009,5,16]]},"end":{"date-parts":[[2009,5,24]]}},"container-title":["2009 IEEE 31st International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5062304\/5070493\/05070526.pdf?arnumber=5070526","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,7]],"date-time":"2021-10-07T03:07:55Z","timestamp":1633576075000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5070526\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/icse.2009.5070526","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}