Prof. Dr. Jan Bredereke

Reference/Literaturverweis [Bre05b]

Bredereke, J.:
Configuring Members of a Family of Requirements Using Features.
In Reiff-Marganiec, S. and Ryan, M. D., editors, "Feature Interactions in Telecommunications and Software Systems VIII", pp. 96-113. IOS Press (Jun. 2005).

Abstract / Zusammenfassung

We explicitly consider entire families of software requirements; this enables us to configure family members using features. Our goal is to avoid feature interaction problems by a software engineering approach. Naive feature orientation does not scale due to complexity problems. But we can structure a family of requirements into requirements modules to make it easier to maintain. We then can configure family members from these requirements modules. In this, we must distinguish the notions of a requirements module and of a feature to avoid feature interaction problems. We demonstrate our ideas by adding suitable constructs for families and for features to the formalism Z, and by then specifying a family of LAN message services and a set of features for it.


Feature interaction; software engineering; rigorous requirements; information hiding; configuration management; Z.

Full Text / Volltext

PDF (166 kB) - Postscript/gzip (121 kB)

Slides of the Talk / Vortragsfolien

Handout with only some of the overlays: PDF (280 kB)

Slides with all the overlays: PDF (626 kB)