Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleSeptember 2024
Multi-Version Decision Propagation for Configuring Feature Models in Space and Time
SPLC '24: Proceedings of the 28th ACM International Systems and Software Product Line ConferencePages 88–92https://doi.org/10.1145/3646548.3676550Real-world feature models are typically too large and complex to be configured manually. In practice, configuration tasks are, therefore, accomplished by employing interactive configurators. After each explicit feature selection or deselection by the ...
- research-articleSeptember 2024
Configuring BDD Compilation Techniques for Feature Models
SPLC '24: Proceedings of the 28th ACM International Systems and Software Product Line ConferencePages 209–216https://doi.org/10.1145/3646548.3676538The compilation of feature models into binary decision diagrams (BDDs) is a major challenge in the area of configurable systems analysis. Many large-scale feature models have been reported to exceed state-of-the-art compilation capabilities, e.g., for ...
- short-paperFebruary 2024
On Configuration Sequences in Feature Models
VaMoS '24: Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive SystemsPages 146–148https://doi.org/10.1145/3634713.3634730Feature models are the de-facto standard in product line engineering to capture the commonalities and variability of systems. However, feature models provide little user guidance during configuration and are unable to represent configuration sequences. A ...
- research-articleJanuary 2024
HADES: An NFV solution for energy-efficient placement and resource allocation in heterogeneous infrastructures
Journal of Network and Computer Applications (JNCA), Volume 221, Issue Chttps://doi.org/10.1016/j.jnca.2023.103764AbstractNetwork Function Virtualization (NFV) aims to replace traditional network functions running in proprietary hardware with software instances (i.e., Virtual Network Functions, VNFs) embedded in general-purpose virtualization solutions. Aware that ...
- ArticleApril 2023
Democratizing Quality-Based Machine Learning Development through Extended Feature Models
Fundamental Approaches to Software EngineeringPages 88–110https://doi.org/10.1007/978-3-031-30826-0_5AbstractML systems have become an essential tool for experts of many domains, data scientists and researchers, allowing them to find answers to many complex business questions starting from raw datasets. Nevertheless, the development of ML systems able to ...
-
- research-articleFebruary 2021
Applications of #SAT Solvers on Feature Models
VaMoS '21: Proceedings of the 15th International Working Conference on Variability Modelling of Software-Intensive SystemsArticle No.: 12, Pages 1–10https://doi.org/10.1145/3442391.3442404Product 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 into various aspects, such as the validity of a configuration of ...
- research-articleOctober 2020
A Python framework for the automated analysis of feature models: A first step to integrate community efforts
SPLC '20: Proceedings of the 24th ACM International Systems and Software Product Line Conference - Volume BPages 52–55https://doi.org/10.1145/3382026.3425773Feature modeling is the "de facto" standard to describe the common and variant parts of software product lines. Different tools, approaches, and operations for the automated analysis of feature models (AAFM) have been proposed in the last 20 years. The ...
- research-articleSeptember 2019
Development of the Maintainability Index for SPLs Feature Models Using Fuzzy Logic
SBES '19: Proceedings of the XXXIII Brazilian Symposium on Software EngineeringPages 357–366https://doi.org/10.1145/3350768.3351299The variability of the common features in an Software Product Line (SPL) can be managed by an feature model, an artifact that consist of a tree-shaped diagram, that describe the features identified in the products and the possible relationships between ...
- research-articleJanuary 2019
Towards Software Product Lines Optimization Using Evolutionary Algorithms
- Muhammad Abid Jamil,
- Mohamed K Nour,
- Ahmad Alhindi,
- Normi Sham Awang Abhubakar,
- Muhammad Arif,
- Tareq Fahad Aljabri
Procedia Computer Science (PROCS), Volume 163, Issue CPages 527–537https://doi.org/10.1016/j.procs.2019.12.135AbstractSoftware product line (SPL) engineering methodology assist to create a range of software products within less time and cost but with high quality by the reuse of core software assets, which has been tested. Thus, testing is crucial for ...
- research-articleFebruary 2018
Aggregating Measures using Fuzzy Logic for Evaluating Feature Models
VAMOS '18: Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive SystemsPages 35–42https://doi.org/10.1145/3168365.3168375In the context of Software Product Lines (SPLs), evaluating the quality of a feature model is essential to ensure that errors in the early stages do not spread throughout the SPL. One way to evaluate a feature model is to use measures. However, measures ...
- abstractSeptember 2017
Using pure: variants Across The Product Line Lifecycle
SPLC '17: Proceedings of the 21st International Systems and Software Product Line Conference - Volume BPage 50https://doi.org/10.1145/3109729.3109754The paper describes a demonstration of pure::variants [2], a commercial tool for variant and variability management for product lines. The demonstration shows how flexible product line (PL) architectures can be built, tested and maintained by using the ...
- tutorialSeptember 2017
Using Feature Models to Manage Variability and Requirements Reuse
SPLC '17: Proceedings of the 21st International Systems and Software Product Line Conference - Volume APage 249https://doi.org/10.1145/3106195.3106229In this paper, we give a brief overview on the tutorial "Using Feature Models to Manage Variability and Requirements Reuse".
- research-articleOctober 2016
Explaining anomalies in feature models
GPCE 2016: Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and ExperiencesPages 132–143https://doi.org/10.1145/2993236.2993248The development of variable software, in general, and feature models, in particular, is an error-prone and time-consuming task. It gets increasingly more challenging with industrial-size models containing hundreds or thousands of features and ...
Also Published in:
ACM SIGPLAN Notices: Volume 52 Issue 3 - ArticleFebruary 2016
Exposing Design Mistakes During Requirements Engineering by Solving Constraint Satisfaction Problems to Obtain Minimum Correction Subsets
ICAART 2016: Proceedings of the 8th International Conference on Agents and Artificial IntelligencePages 280–287https://doi.org/10.5220/0005679102800287In recent years, the complexity of production plants and therefore of the underlying automation systems has grown significantly. This makes the manual design of automation systems increasingly difficult. As a result, errors are found only during ...
- articleFebruary 2016
Goal-oriented modeling and verification of feature-oriented product lines
Software and Systems Modeling (SoSyM) (SPSSM), Volume 15, Issue 1Pages 257–279https://doi.org/10.1007/s10270-014-0402-8Goal models represent requirements and intentions of a software system. They play an important role in the development life cycle of software product lines (SPLs). In the domain engineering phase, goal models guide the development of variability in SPLs ...
- research-articleJanuary 2016
Feature Models in Linux: From Symbols to Semantics
VaMoS '16: Proceedings of the 10th International Workshop on Variability Modelling of Software-Intensive SystemsPages 65–72https://doi.org/10.1145/2866614.2866624Linux is a highly configurable operating-system kernel which has been widely studied in the context of software product lines over the past years. Understanding the challenges and perils of evolving and maintaining feature models of the size of Linux is ...
- research-articleJanuary 2016
Context Aware Reconfiguration in Software Product Lines
VaMoS '16: Proceedings of the 10th International Workshop on Variability Modelling of Software-Intensive SystemsPages 41–48https://doi.org/10.1145/2866614.2866620Software Product Lines (SPLs) are a mechanism for large-scale reuse where families of related software systems are represented in terms of commonalities and variabilities, e.g., using Feature Models (FMs). While FMs define all possible configurations of ...
- research-articleJanuary 2015
Intelligent Techniques for Configuration Knowledge Evolution
VaMoS '15: Proceedings of the 9th International Workshop on Variability Modelling of Software-Intensive SystemsPages 51–58https://doi.org/10.1145/2701319.2701320Automated testing and debugging of knowledge bases (such as configuration knowledge bases and feature models) is an important contribution to manage knowledge evolution efficiently. However, existing approaches rely on the assumption of consistent test ...
- ArticleSeptember 2014
An Approach for Managing Quality Attributes at Runtime Using Feature Models
SBCARS '14: Proceedings of the 2014 Eighth Brazilian Symposium on Software Components, Architectures and ReusePages 11–20https://doi.org/10.1109/SBCARS.2014.13Feature modeling has been widely used in domain engineering for the development and configuration of software products. A feature model represents the set of possible configurations to apply in a given context. Recently, this formalism was applied to ...
- articleFebruary 2014
An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models
Electronic Notes in Theoretical Computer Science (ENTCS) (ENTCS), Volume 302Pages 111–132https://doi.org/10.1016/j.entcs.2014.01.023Feature models are a common way to represent variability requirements of software product lines by expressing the set of feature combinations that software products can have. Assuring quality of feature models is thus of paramount importance for ...