Name
Abstract | ||
|---|---|---|
Abstract Variability modeling techniques are used to specify variable aspects of members,of a family of related software artifacts. Instances of variability models are then used to efficiently produce members,of such a family. By making variability explicit, variability models determine implicitly the common,properties among,family members,as well. This partitioning of information into variable and invariant parts predetermines the reuse benefit obtainable from a variability model. In most current approaches to variability modeling, the decision between variable and invariant information has to be done in an up-front manner and is very difficult to change later on. However, the distinction between variable and common,parts of members,of a system family varies over time. Variability modeling techniques must thus be able to cope with changes to the variability models. Since many variability modeling techniques do not currently support this, research is required to allow an evolution of the distinction between what is variable and what is invariant over time. This paper elaborates on the necessity, related work and possible approaches to tackle this challenge. Keywords modeling, software evolution, formal methods, |
Year | Venue | Keywords |
|---|---|---|
2007 | VaMoS | software evolution,formal method |
Field | DocType | Citations |
Systems engineering,Software artifacts,Reuse,Computer science,Theoretical computer science,Invariant (mathematics) | Conference | 0 |
PageRank | References | Authors |
0.34 | 9 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Elmar Jürgens | 1 | 18 | 4.76 |
| Markus Pizka | 2 | 260 | 20.24 |