Familiar: A domain-specific language for large scale management of feature models

M Acher, P Collet, P Lahire, RB France - Science of Computer …, 2013 - Elsevier
The feature model formalism has become the de facto standard for managing variability in
software product lines (SPLs). In practice, developing an SPL can involve modeling a large …

[图书][B] Engineering modeling languages: Turning domain knowledge into tools

B Combemale, R France, JM Jézéquel, B Rumpe… - 2016 - books.google.com
Written by foremost experts in the field, Engineering Modeling Languages provides end-to-
end coverage of the engineering of modeling languages to turn domain knowledge into …

Pairwise testing for software product lines: comparison of two approaches

G Perrouin, S Oster, S Sen, J Klein, B Baudry… - Software Quality …, 2012 - Springer
Abstract Software Product Lines (SPL) are difficult to validate due to combinatorics induced
by variability, which in turn leads to combinatorial explosion of the number of derivable …

Feature identification from the source code of product variants

T Ziadi, L Frias, MAA da Silva… - 2012 16th European …, 2012 - ieeexplore.ieee.org
In order to migrate software products which are deemed similar into a product line, it is
essential to identify the common features and the variations between the product variants …

Model composition in product lines and feature interaction detection using critical pair analysis

P Jayaraman, J Whittle, AM Elkhodary… - Model Driven Engineering …, 2007 - Springer
Software product lines (SPL) are an established technology for developing families of
systems. In particular, they focus on modeling commonality and variability, that is, they are …

Using models to enable compliance checking against the GDPR: an experience report

D Torre, G Soltana, M Sabetzadeh… - 2019 ACM/IEEE …, 2019 - ieeexplore.ieee.org
The General Data Protection Regulation (GDPR) harmonizes data privacy laws and
regulations across Europe. Through the GDPR, individuals are able to better control their …

Nonparametric bottom-up saliency detection by self-resemblance

HJ Seo, P Milanfar - 2009 IEEE Computer Society Conference …, 2009 - ieeexplore.ieee.org
We present a novel bottom-up saliency detection algorithm. Our method computes so-called
local regression kernels (ie, local features) from the given image, which measure the …

[HTML][HTML] Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints

MH ter Beek, A Fantechi, S Gnesi, F Mazzanti - Journal of Logical and …, 2016 - Elsevier
We present the formal underpinnings of a modelling and analysis framework for the
specification and verification of variability in product families. We address variability at the …

Automating the extraction of model-based software product lines from model variants (T)

J Martinez, T Ziadi, TF Bissyandé… - 2015 30th IEEE/ACM …, 2015 - ieeexplore.ieee.org
We address the problem of automating 1) the analysis of existing similar model variants and
2) migrating them into a software product line. Our approach, named MoVaPL, considers the …

Achieving business process flexibility with business rules

T Van Eijndhoven, ME Iacob… - 2008 12th International …, 2008 - ieeexplore.ieee.org
Business processes used in networked business are often large and complex, which makes
them difficult to manage and change. In this paper we address this lack of flexibility by …