Applying Design by Contract to Feature-Oriented Programming

• expression écrite

Applying Design by Contract to Feature-Oriented Programming Thomas Thum1, Ina Schaefer2, Martin Kuhlemann1, Sven Apel3, and Gunter Saake1 1 University of Magdeburg, Germany 2 University of Braunschweig, Germany 3 University of Passau, Germany Abstract. Feature-oriented programming (FOP) is an extension of ob- ject-oriented programming to support software variability by refining existing classes and methods. In order to increase the reliability of all implemented program variants, we integrate design by contract (DbC) with FOP.

• specification clones
• class array
• method refinement
• respect to method calls
• feature
• contracts
• approach
• methods
• contract
• method