Variability Hiding in Contracts for Dependent Software Product Lines
Rattachement africain : de. Niveau de preuve : code pays fourni par la source.
Le résumé fourni par la source
Software product lines are used to efficiently develop and verify similar software products. While they focus on reuse of artifacts between products, a product line may also be reused itself in other product lines. A challenge with such dependent product lines is evolution; every change in a product line may influence all dependent product lines. With variability hiding, we aim to hide certain features and their artifacts in dependent product lines. In prior work, we focused on feature models and implementation artifacts. We build on this by discussing how variability hiding can be extended to specifications in terms of method contracts. We illustrate variability hiding in contracts by means of a running example and share our insights with preliminary experiments on the benefits for formal verification. In particular, we find that not every change in a certain product line requires a re-verification of other dependent product lines.
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.
Le contrôle bibliographique ouvert
DOI retrouvé dans Crossref DOI retrouvé ; titre concordant.
- Titre Crossref
- Variability Hiding in Contracts for Dependent Software Product Lines
- Date Crossref
- 27/01/2016
- Éditeur
- ACM
- Type
- proceedings-article
Ce recoupement confirme des métadonnées liées au DOI. Il ne confirme ni la méthode ni les conclusions de l’étude, et il ne compte pas comme une seconde source scientifique indépendante.
Où se fait cette recherche
-
Technische Universität Braunschweig pays non établi dans la noticeUniversité ou école supérieure
-
University Hospital Magdeburg pays non établi dans la noticeÉtablissement de santé
-
Technische Universität Darmstadt pays non établi dans la noticeUniversité ou école supérieure
-
TU Braunschweig pays non établi dans la noticeInstitution
-
University of Magdeburg pays non établi dans la noticeUniversité ou école supérieure
-
TU Darmstadt pays non établi dans la noticeInstitution
Technische Universität Braunschweig, University Hospital Magdeburg et Technische Universität Darmstadt, avec 3 autres affiliations.
Une affiliation ne permet pas de déduire la nationalité d’un auteur.