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:

Using constraint programming to verify DOPLER variability models (Raúl Mazo, Paul Grünbacher, Wolfgang Heider, Rick Rabiser, Camille Salinesi, Daniel Diaz), (Patrick Heymans, Krzysztof Czarnecki, Ulrich W. Eisenecker, eds.), ACM, 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}
}