Modelling and Reasoning with Software Product Lines with Design Choices

We therefore can ‘reuse’ the structural information encoded in the feature model representation directly for the composition of complex ex- planations by simply ‘re-tracing’

When evolving a software product line, the duplication of features must be verified in three levels: in the feature models (domain model and application models), in the specification

AFC : association française de chirurgie.. Erreur ! Signet non défini. Les canaux excréteurs... Dimensions et poids ... 21 C-Configuration et rapports ... La queue du pancréas

The following subsignature relation on SPLSs naturally extends the one on program signatures (given in Definition 9) with the notion of feature model interface introduced in [8]

proves that three apparently unrelated sets of convex cones, namely the class of linearly closed and convex cones of a finite-dimensional space, the class gathering all the cones

In [27], such phenomena become apparent when tropicalization is applied to the minimal cell cycle model proposed by Tyson[31], in order to obtain a reduced hybrid model. The Tyson

We now consider the response of the climatic oscillator described by eqs. Our purpose is to show that the forcing provides the synchroni- zing element that was

We define a partition of the set of integers k in the range [1, m−1] prime to m into two or three subsets, where one subset consists of those integers k which are < m/2,