Thomas Thüm, Don S. Batory, Christian Kästner. Reasoning about Edits to Feature Models. In 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings. pages 254-264, IEEE, 2009. [doi]
@inproceedings{ThumBK09, title = {Reasoning about Edits to Feature Models}, author = {Thomas Thüm and Don S. Batory and Christian Kästner}, year = {2009}, doi = {10.1109/ICSE.2009.5070526}, url = {http://dx.doi.org/10.1109/ICSE.2009.5070526}, tags = {object-oriented programming, meta programming, classification, meta-model, SAT solver, modeling, model refactoring, refactoring, software evolution, object-role modeling, subject-oriented programming, software product line, Meta-Environment, feature model, product line, feature-oriented programming, FeatureIDE}, researchr = {https://researchr.org/publication/ThumBK09}, cites = {0}, citedby = {0}, pages = {254-264}, booktitle = {31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings}, publisher = {IEEE}, isbn = {978-1-4244-3452-7}, }