Using constraint programming to verify DOPLER variability models

Mazo, Raúl; Grünbacher, Paul; Heider, Wolfgang; Rabiser, Rick; Salinesi, Camille; Diaz, Daniel

doi:10.1145/1944892.1944904

by Raúl Mazo, Paul Grünbacher, Wolfgang Heider, Rick Rabiser, Camille Salinesi, Daniel Diaz

Reference:

Raúl Mazo, Paul Grünbacher, Wolfgang Heider, Rick Rabiser, Camille Salinesi, Daniel Diaz, "Using constraint programming to verify DOPLER variability models", In: Proceedings 5th Int'l Workshop on Variability Modelling of Software-Intensive Systems, Namur, Belgium, January 27-29 (Patrick Heymans, Krzysztof Czarnecki, Ulrich W. Eisenecker, eds.), ACM, pp. 97-103, 2011.

Bibtex Entry:

@WORKSHOP{Mazo2011,
  author = {Raúl Mazo and Paul Grünbacher and Wolfgang Heider and Rick Rabiser
	and Camille Salinesi and Daniel Diaz},
  booktitle = {Proceedings 5th Int'l Workshop on Variability Modelling of Software-Intensive
	Systems, Namur, Belgium, January 27-29},
  title = {Using constraint programming to verify DOPLER variability models},
  year = {2011},
  editor = {Patrick Heymans and Krzysztof Czarnecki and Ulrich W. Eisenecker},
  pages = {97-103},
  publisher = {ACM},
  series = {ACM Int'l Conference Proceedings Series},
  doi = {10.1145/1944892.1944904},
  isbn = {978-1-4503-0570-9},
  keywords = {CD Lab ASE}
}