| | |
Summary: Applying Design by Contract
to Feature-Oriented Programming
Thomas Th¨um1
, 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. DbC is an approach to build reliable object-oriented soft-
ware by specifying methods with contracts. Contracts are annotations
|
