Sciweavers

SPLC
2008
13 years 6 months ago
Do SAT Solvers Make Good Configurators?
A configuration process is about finding a configuration, a setting, that satisfies the requirements given by the user and constraints imposed by the domain. Feature models are us...
Mikolás Janota
SPLC
2008
13 years 6 months ago
An Architectural Discussion on DSPL
Dynamic Software Product Line (DSPL) engineering has proved itself as an efficient way to deal with run-time product adaptation. DSPLs have been successfully applied in domains su...
Carlos Cetina, Vicente Pelechano, Pablo Trinidad, ...
SPLC
2008
13 years 6 months ago
Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications
The adoption of Domain-Specific Modeling Languages (DSMLs) for generating framework-based applications has proved to be an effective way of enforcing the correct use of frameworks...
André L. Santos, Kai Koskimies, Antó...
SPLC
2008
13 years 6 months ago
Reconciling Automation and Flexibility in Product Derivation
Product derivation, i.e. reusing core assets to build products, did not receive sufficient attention from the productline community, yielding a frustrating situation. On the one h...
Gilles Perrouin, Jacques Klein, Nicolas Guelfi, Je...
SPLC
2008
13 years 6 months ago
Filtered Cartesian Flattening: An Approximation Technique for Optimally Selecting Features while Adhering to Resource Constraint
Software Product-lines (SPLs) use modular software components that can be reconfigured into different variants for different requirements sets. Feature modeling is a common method...
Jules White, B. Doughtery, Douglas C. Schmidt
SPLC
2008
13 years 6 months ago
The Linux Kernel Configurator as a Feature Modeling Tool
In order to contribute to the understanding of how the SPL community and the open source community can benefit from each other, we present the Linux Kernel Configurator (LKC). We ...
Julio Sincero, Wolfgang Schröder-Preikschat
SPLC
2008
13 years 6 months ago
Functional Testing of Feature Model Analysis Tools. A First Step
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...
Sergio Segura, David Benavides, Antonio Ruiz Cort&...
SPLC
2008
13 years 6 months ago
Towards Separation of Concerns in Model Transformation Workflows
Model-driven software product lines are an emerging topic in research and industry, as they promise higher development speed and easier adaptability to customer needs. The generat...
Christoph Elsner, Daniel Lohmann, Wolfgang Schr&ou...
SPLC
2008
13 years 6 months ago
Automated Diagnosis of Product-Line Configuration Errors in Feature Models
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. Conf...
Jules White, Douglas C. Schmidt, David Benavides, ...