Reasoning about Edits to Feature Models

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},
}