Using Abstract Contracts for Verifying Evolving Features and Their Interactions

[1]  I. Schaefer,et al.  Feature-Oriented Contract Composition , 2019, J. Syst. Softw..

[2]  Reiner Hähnle,et al.  Abstract Execution , 2019, FM.

[3]  Thomas Thüm,et al.  Scalability of Deductive Verification Depends on Method Call Treatment , 2018, ISoLA.

[4]  Sven Apel,et al.  Variability encoding: From compile-time to load-time variability , 2016, J. Log. Algebraic Methods Program..

[5]  Reiner Hähnle,et al.  Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct , 2016, LNCS Trans. Found. Mastering Chang..

[6]  Bernhard Beckert,et al.  Deductive Software Verification – The KeY Book , 2016, Lecture Notes in Computer Science.

[7]  Reiner Hähnle,et al.  Fully Abstract Operation Contracts , 2014, ISoLA.

[8]  Gunter Saake,et al.  A Classification and Survey of Analysis Strategies for Software Product Lines , 2014, ACM Comput. Surv..

[9]  Thomas Leich,et al.  FeatureIDE: An extensible framework for feature-oriented software development , 2014, Sci. Comput. Program..

[10]  Reiner Hähnle,et al.  Reuse in Software Verification by Abstract Method Calls , 2013, CADE.

[11]  Gunter Saake,et al.  Feature-Oriented Software Product Lines , 2013, Springer Berlin Heidelberg.

[12]  Sven Apel,et al.  Language-Independent and Automated Software Composition: The FeatureHouse Experience , 2013, IEEE Transactions on Software Engineering.

[13]  Reiner Hähnle,et al.  A Liskov Principle for Delta-Oriented Programming , 2012, ISoLA.

[14]  Ina Schaefer,et al.  Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines , 2012, ISoLA.

[15]  Sven Apel,et al.  Family-based deductive verification of software product lines , 2012, GPCE '12.

[16]  Bernhard Möller,et al.  Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming , 2012, RAMiCS.

[17]  Gunter Saake,et al.  Applying Design by Contract to Feature-Oriented Programming , 2012, FASE.

[18]  Thomas Leich,et al.  Access control in feature-oriented programming , 2012, Sci. Comput. Program..

[19]  Michael J. Butler,et al.  Composing Event-B Specifications - Case-Study Experience , 2011, SC@TOOLS.

[20]  Sven Apel,et al.  An algebraic foundation for automatic feature-based program synthesis , 2010, Sci. Comput. Program..

[21]  William R. Cook,et al.  Fitting the pieces together: a machine-checked model of safe composition , 2009, ESEC/FSE '09.

[22]  Sven Apel,et al.  A calculus for uniform feature composition , 2010, TOPL.

[23]  Martin Leucker,et al.  Modeling and Model Checking Software Product Lines , 2008, FMOODS.

[24]  Alexander Harhurin,et al.  Towards Consistent Specifications of Product Families , 2008, FM.

[25]  Sven Apel,et al.  Superimposition: A Language-Independent Approach to Software Composition , 2008, SC@ETAPS.

[26]  Krzysztof Czarnecki,et al.  Verifying feature-based model templates against well-formedness OCL constraints , 2006, GPCE '06.

[27]  Sebastián Uchitel,et al.  A foundation for behavioural conformance in software product line architectures , 2006, ROSATEA '06.

[28]  Albert L. Baker,et al.  Preliminary design of JML: a behavioral interface specification language for java , 2006, SOEN.

[29]  Mario Kolberg,et al.  Feature interaction: a critical review and considered forecast , 2003, Comput. Networks.

[30]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.

[31]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.