[图书][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 …
An overview on analysis tools for software product lines
A software product line is a set of different software products that share commonalities. For a
selection of features, specialized products of one domain can be generated automatically …
selection of features, specialized products of one domain can be generated automatically …
Tool demo: testing configurable systems with featureIDE
Most software systems are designed to provide custom functionality using configuration
options. Testing such systems is challenging as running tests of a single configuration is …
options. Testing such systems is challenging as running tests of a single configuration is …
[HTML][HTML] Variability encoding: From compile-time to load-time variability
Many software systems today are configurable. Analyzing configurable systems is
challenging, especially as (1) the number of system variants may grow exponentially with …
challenging, especially as (1) the number of system variants may grow exponentially with …
Improving quality of software product line by analysing inconsistencies in feature models using an ontological rule‐based approach
In software product line engineering, feature models (FMs) represent the variability and
commonality of a family of software products. The development of FMs may introduce …
commonality of a family of software products. The development of FMs may introduce …
Analyzing inconsistencies in software product lines using an ontological rule-based approach
M Bhushan, S Goel, K Kaur - Journal of Systems and Software, 2018 - Elsevier
Software product line engineering (SPLE) is an evolving technical paradigm for generating
software products. Feature model (FM) represents commonality and variability of a group of …
software products. Feature model (FM) represents commonality and variability of a group of …
[PDF][PDF] Product-line specification and verification with feature-oriented contracts
T Thüm - 2015 - Citeseer
Variability is ubiquitous in today's software development. While techniques to efficiently
implement software product lines are used for decades, verification techniques have been a …
implement software product lines are used for decades, verification techniques have been a …
Efficient interactive and automated product-line configuration
S Krieter - 2022 - repo.bibliothek.uni-halle.de
Modern, highly-configurable systems comprise an enormous number of variants that are
created from a common code base and tailored to specific user requirements. Managing this …
created from a common code base and tailored to specific user requirements. Managing this …
A rule‐based approach to detect and prevent inconsistency in the domain‐engineering process
AO Elfaki - Expert Systems, 2016 - Wiley Online Library
A medium‐sized domain‐engineering process can contain thousands of features that all
have constraint dependency rules between them. Therefore, the validation of the content of …
have constraint dependency rules between them. Therefore, the validation of the content of …
Feature-oriented contract composition
A software product line comprises a set of products that share a common code base, but
vary in specific characteristics called features. Ideally, features of a product line are …
vary in specific characteristics called features. Ideally, features of a product line are …