Talks and Poster Presentations (with Proceedings-Entry):
"Efficient configuration and verification of software product lines";
Talk: International Software Product Line Conference,
- 2011-08-26; in: "Proceedings of the 15th International Software Product Line Conference",
I. Schäfer, I. John, K. Schmid (ed.);
Important aspects in dealing with software product lines are
correctness, necessity, and e ciency. We present an opensource
tool capable of producing minimal con gurations for a speci cation in the Uni ed Modeling Language which allows us to model both hardware con gurations and software product lines. Our approach translates the speci cation into an Integer Linear Program which allows the user to verify the correctness of con gurations. Real-world applications
range from the railway domain to Debian GNU/Linux package management and Linux kernel con guration.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.