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