[BOOK][B] Mastering software variability with FeatureIDE
In the era of mobile devices and the Internet of things, software systems are ubiquitous. A
multitude of hardware specifics, fast development of applications, and the need of …
multitude of hardware specifics, fast development of applications, and the need of …
Role of requirement prioritization technique to improve the quality of highly-configurable systems
Highly-configurable systems are such systems which are not developed for single scenario.
However, perhaps they have variable functionality and they are developed for hybrid …
However, perhaps they have variable functionality and they are developed for hybrid …
Yet another textual variability language? a community effort towards a unified language
Variability models are commonly used to model commonalities and variability in a product
line. There is a large variety of textual formats to represent and store variability models. This …
line. There is a large variety of textual formats to represent and store variability models. This …
Automated analysis of feature models: Quo vadis?
Feature models have been used since the 90s to describe software product lines as a way of
reusing common parts in a family of software systems. In 2010, a systematic literature review …
reusing common parts in a family of software systems. In 2010, a systematic literature review …
Product sampling for product lines: the scalability challenge
Quality assurance for product lines is often infeasible for each product separately. Instead,
only a subset of all products (ie, a sample) is considered during testing such that at least the …
only a subset of all products (ie, a sample) is considered during testing such that at least the …
Evaluating state-of-the-art # SAT solvers on industrial configuration spaces
Product lines are widely used to manage families of products that share a common base of
features. Typically, not every combination (configuration) of features is valid. Feature models …
features. Typically, not every combination (configuration) of features is valid. Feature models …
Tseitin or not tseitin? the impact of cnf transformations on feature-model analyses
Feature modeling is widely used to systematically model features of variant-rich software
systems and their dependencies. By translating feature models into propositional formulas …
systems and their dependencies. By translating feature models into propositional formulas …
Evaluating# SAT solvers on industrial feature models
Configurable systems are widely used for families of products that share multiple
configuration options. These systems often induce a large configuration space. Handling the …
configuration options. These systems often induce a large configuration space. Handling the …
Applications of# SAT solvers on feature models
Product lines are ubiquitous for managing variable systems. The variability of a product line
is typically described in terms of a feature model. Analyzing a feature model gives insight …
is typically described in terms of a feature model. Analyzing a feature model gives insight …
Blockchain-based e-vote-as-a-service
This article aims at introducing a new configurable and multipurpose electronic voting
service based on the blockchain infrastructure. The objective is to design an architecture to …
service based on the blockchain infrastructure. The objective is to design an architecture to …