Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
I. Feinerer:
"Efficient configuration and verification of software product lines";
Vortrag: International Software Product Line Conference,
München, Deutschland;
21.08.2011
- 26.08.2011; in: "Proceedings of the 15th International Software Product Line Conference",
I. Schäfer, I. John, K. Schmid (Hrg.);
ACM,
Volume 2
(2011),
ISBN: 978-1-4503-0789-5;
S. 49.
Kurzfassung englisch:
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.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/2019136.2019193
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.