Sven Apel, Don S. Batory, Christian Kästner & Gunter Saake (2013):
Feature-Oriented Software Product Lines - Concepts and Implementation.
Springer,
doi:10.1007/978-3-642-37521-7.
Sven Apel, Christian Kästner & Christian Lengauer (2009):
FEATUREHOUSE: Language-independent, automated software composition.
In: 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings.
IEEE,
pp. 221–231,
doi:10.1109/ICSE.2009.5070523.
Philippe Ayrault, Matthieu Carlier, David Delahaye, Catherine Dubois, Damien Doligez, Lionel Habib, Thér\`se Hardin, Jaume Mathieu, Charles Morisset, François Pessaux, Renaud Rioboo & Pierre Weis (2008):
Trusted Software within Focal.
In: C&ESAR 2008, Computer Electronics Security Applications Rendez-vous,
pp. 162–179.
Barbara Barth, Gregory Butler, Krzysztof Czarnecki & Ulrich W. Eisenecker (2001):
Generative Programming.
In: Ákos Frohner: Object-Oriented Technology ECOOP 2001 Workshop Reader, ECOOP 2001 Workshops, Panel, and Posters, Budapest, Hungary, June 18-22, 2001, Proceedings,
Lecture Notes in Computer Science 2323.
Springer,
pp. 135–149,
doi:10.1007/3-540-47853-1_11.
Don S. Batory (2005):
Feature Models, Grammars, and Propositional Formulas.
In: J. Henk Obbink & Klaus Pohl: Software Product Lines, 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005, Proceedings,
Lecture Notes in Computer Science 3714.
Springer,
pp. 7–20,
doi:10.1007/11554844_3.
Don S. Batory, Peter Höfner & Jongwook Kim (2011):
Feature interactions, products, and composition.
In: Ewen Denney & Ulrik Pagh Schultz: Generative Programming And Component Engineering, Proceedings of the 10th International Conference on Generative Programming and Component Engineering, GPCE 2011, Portland, Oregon, USA, October 22-24, 2011.
ACM,
pp. 13–22,
doi:10.1145/2047862.2047867.
Don S. Batory, Jacob Neal Sarvela & Axel Rauschmayer (2003):
Scaling Step-Wise Refinement.
In: Lori A. Clarke, Laurie Dillon & Walter F. Tichy: Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA.
IEEE Computer Society,
pp. 187–197,
doi:10.1109/ICSE.2003.1201199.
David Benavides, Pablo Trinidad & Antonio Ruiz Cortés (2013):
Automated Reasoning on Feature Models.
In: Seminal Contributions to Information Systems Engineering, 25 Years of CAiSE.
Springer,
pp. 361–373,
doi:10.1007/978-3-642-36926-1_29.
Richard Bonichon, David Delahaye & Damien Doligez (2007):
Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs.
In: Nachum Dershowitz & Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings,
Lecture Notes in Computer Science 4790.
Springer,
pp. 151–165,
doi:10.1007/978-3-540-75560-9_13.
Benjamin Delaware, William R. Cook & Don S. Batory (20110.1007/978-3-642-37521-71):
Product lines of theorems.
In: Cristina Videira Lopes & Kathleen Fisher: Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011.
ACM,
pp. 595–608,
doi:10.1145/2048066.2048113.
Benjamin Delaware, Steven Keuchel, Tom Schrijvers & Bruno C. d S. Oliveira (2013):
Modular monadic meta-theory.
In: Greg Morrisett & Tarmo Uustalu: ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013.
ACM,
pp. 319–330,
doi:10.1145/2500365.2500587.
Claude Marché, Christine Paulin-Mohring & Xavier Urbain (2004):
The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML.
J. Log. Algebr. Program. 58(1-2),
pp. 89–106,
doi:10.1016/j.jlap.2003.07.006.
Bertrand Meyer (1992):
Ap10.1007/978-3-642-37521-7plying "Design by Contract".
IEEE Computer 25(10),
pp. 40–51,
doi:10.1109/2.161279.
Klaus Pohl, Günter Böckle & Frank van der Linden (2005):
Software Product Line Engineering - Foundations, Principles, and Techniques.
Springer,
doi:10.1007/3-540-28901-1.
Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel & Gunter Saake (2012):
Applying Design by Contract to Feature-Oriented Programming.
In: Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012,
Lecture Notes in Computer Science 7212.
Springer,
pp. 255–269,
doi:10.1007/978-3-642-28872-2_18.
Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer & Gunter Saake (2014):
A Classification and Survey of Analysis Strategies for Software Product Lines.
ACM Comput. Surv. 47(1),
pp. 6,
doi:10.1145/2580950.
Thomas Thüm, Ina Schaefer, Martin Hentschel & Sven Apel (2012):
Family-based deductive verification of software product lines.
In: Klaus Ostermann & Walter Binder: Generative Programming and Component Engineering, GPCE'12, Dresden, Germany, September 26-28, 2012.
ACM,
pp. 11–20,
doi:10.1145/2371401.2371404.
Thomas Thüm, Ina Schaefer, Martin Kuhlemann & Sven Apel (2011):
Proof Composition for Deductive Verification of Software Product Lines.
In: Fourth International IEEE Conference on Software Testing, Verification and Validation, ICST 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings.
IEEE Computer Society,
pp. 270–277,
doi:10.1109/ICSTW.2011.48.