Design and use of software architectures: adopting and evolving a product-line approach
Design and use of software architectures: adopting and evolving a product-line approach
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
Architecting families of software systems with process algebras
ACM Transactions on Software Engineering and Methodology (TOSEM)
Prospects for an Engineering Discipline of Software
IEEE Software
Feature-Oriented Project Line Engineering
IEEE Software
Using First-Order Logic for Product Line Model Validation
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
On the Notion of Variability in Software Product Lines
WICSA '01 Proceedings of the Working IEEE/IFIP Conference on Software Architecture
Integrating Feature Modeling with the RSEB
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Handling variant requirements in domain modeling
Journal of Systems and Software - Special issue: Best papers on Software Engineering from the SEKE'01 Conference
Towards a general ontology of configuration
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Proceedings of the 5th international conference on Generative programming and component engineering
Automated analysis of feature models: challenges ahead
Communications of the ACM - Software product line
Multi-agent system product lines: challenges and benefits
Communications of the ACM - Software product line
Generic semantics of feature diagrams
Computer Networks: The International Journal of Computer and Telecommunications Networking
Aspectual Support for Specifying Requirements in Software Product Lines
EARLYASPECTS '07 Proceedings of the Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design
Automating component-based system assembly
Proceedings of the 2007 international symposium on Software testing and analysis
Automated error analysis for the agilization of feature modeling
Journal of Systems and Software
Software Product Line Oriented Feature Map
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
REFSQ '08 Proceedings of the 14th international conference on Requirements Engineering: Foundation for Software Quality
On the Role of Architectural Design Decisions in Software Product Line Engineering
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
The Objects and Arrows of Computational Design
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Automated Merging of Feature Models Using Graph Transformations
Generative and Transformational Techniques in Software Engineering II
Applying semantic web technology to feature modeling
Proceedings of the 2009 ACM symposium on Applied Computing
Software Engineering for Self-Adaptive Systems
Selecting highly optimal architectural feature sets with Filtered Cartesian Flattening
Journal of Systems and Software
S.P.L.O.T.: software product lines online tools
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
How to Complete an Interactive Configuration Process?
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Automated reasoning for multi-step feature model configuration problems
Proceedings of the 13th International Software Product Line Conference
On the impact of the optional feature problem: analysis and case studies
Proceedings of the 13th International Software Product Line Conference
Relating requirements and feature configurations: a systematic approach
Proceedings of the 13th International Software Product Line Conference
SAT-based analysis of feature models is easy
Proceedings of the 13th International Software Product Line Conference
Building the core architecture of a NASA multiagent system product line
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Semi-automated diagnosis of FODA feature diagram
Proceedings of the 2010 ACM Symposium on Applied Computing
Generic feature-based software composition
SC'07 Proceedings of the 6th international conference on Software composition
Automated analysis of feature models 20 years later: A literature review
Information Systems
Formal approach to integrating feature and architecture models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Automated diagnosis of feature model configurations
Journal of Systems and Software
Efficient extraction and analysis of preprocessor-based variability
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
TypeChef: toward type checking #ifdef variability in C
FOSD '10 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Configuring software product line feature models based on Stakeholders' soft and hard requirements
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Usage context as key driver for feature selection
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Mapping extended feature models to constraint logic programming over finite domains
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Towards consistent evolution of feature models
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Feature diagrams as package dependencies
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Global constraints on feature models
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
MDE-based approach for generalizing design space exploration
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Automated metamorphic testing on the analyses of feature models
Information and Software Technology
Multi-dimensional variability modeling
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Using constraint programming to verify DOPLER variability models
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Proceedings of the sixth conference on Computer systems
Change-based FODA diagrams: bridging the gap between feature-oriented design and implementation
Proceedings of the 2011 ACM Symposium on Applied Computing
Smart composition of reusable software components in mobile application product lines
Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering
Proceedings of the 33rd International Conference on Software Engineering
A text-based approach to feature modelling: Syntax and semantics of TVL
Science of Computer Programming
Assessing the maintainability of software product line feature models using structural metrics
Software Quality Control
Variability quality evaluation on component-based software product lines
Proceedings of the 15th International Software Product Line Conference, Volume 2
An approach for effective design space exploration
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Model-driven auto-scaling of green cloud computing infrastructure
Future Generation Computer Systems
Journal of Systems and Software
Tailoring dynamic software product lines
Proceedings of the 10th ACM international conference on Generative programming and component engineering
The GDSE framework: a meta-tool for automated design space exploration
Proceedings of the 10th Workshop on Domain-Specific Modeling
Automating the product derivation process of multi-agent systems product lines
Journal of Systems and Software
Consistency maintenance for evolving feature models
Expert Systems with Applications: An International Journal
Managing SAT inconsistencies with HUMUS
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Feature model based on description logics
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Explicit platform models for MDA
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Using java CSP solvers in the automated analyses of feature models
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Improving the accuracy of COPLIMO to estimate the payoff of a software product line
Expert Systems with Applications: An International Journal
Component composition using feature models
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Automated planning for feature model configuration based on stakeholders' business concerns
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Decision support for the software product line domain engineering lifecycle
Automated Software Engineering
Type checking annotation-based product lines
ACM Transactions on Software Engineering and Methodology (TOSEM)
Personalization for unobtrusive service interaction
Personal and Ubiquitous Computing
Proceedings of the 16th International Software Product Line Conference - Volume 1
Aligning software configuration with business and IT context
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Modeling and analysis of product-line variants
Proceedings of the 16th International Software Product Line Conference - Volume 2
Requirements engineering in feature oriented software product lines: an initial analytical study
Proceedings of the 16th International Software Product Line Conference - Volume 2
Towards product configuration taking into account quality concerns
Proceedings of the 16th International Software Product Line Conference - Volume 2
Supporting the effective configuration of software product lines
Proceedings of the 16th International Software Product Line Conference - Volume 2
Dynamic configuration management of cloud-based applications
Proceedings of the 16th International Software Product Line Conference - Volume 2
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Quality-aware analysis in product line engineering with the orthogonal variability model
Software Quality Control
SPL Conqueror: Toward optimization of non-functional properties in software product lines
Software Quality Control
Knowledge-Based graph exploration analysis
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Multi-perspectives on feature models
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
A model-driven approach for virtual machine image provisioning in cloud computing
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
Test-Case design by feature trees
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Modelling and multi-objective optimization of quality attributes in variability-rich software
Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages
Cloud service selection based on variability modeling
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Participatory service design through composed and coordinated service feature models
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Information and Software Technology
Architectural evolution of FamiWare using cardinality-based feature models
Information and Software Technology
Reasoning about conditional constraint specification problems and feature models
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Safe composition of configuration knowledge-based software product lines
Journal of Systems and Software
Variability in software: state of the art and future directions
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Towards multi-cloud configurations using feature models and ontologies
Proceedings of the 2013 international workshop on Multi-cloud applications and federated clouds
Towards detecting redundancy in domain engineering process using first order logic rules
International Journal of Knowledge Engineering and Soft Data Paradigms
Proceedings of the 2013 International Conference on Software Engineering
Run-time adaptation of mobile applications using genetic algorithms
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Visualization and exploration of optimal variants in product line engineering
Proceedings of the 17th International Software Product Line Conference
SPLEMMA: a generic framework for controlled-evolution of software product lines
Proceedings of the 17th International Software Product Line Conference co-located workshops
Run-Time support to manage architectural variability specified with CVL
ECSA'13 Proceedings of the 7th European conference on Software Architecture
Information and Software Technology
Prototyping Dynamic Software Product Lines to evaluate run-time reconfigurations
Science of Computer Programming
Staged configuration of dynamic software product lines with complex binding time constraints
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Comparing or configuring products: are we getting the right ones?
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Evolving feature model configurations in software product lines
Journal of Systems and Software
Automated generation of computationally hard feature models using evolutionary algorithms
Expert Systems with Applications: An International Journal
Product and Production Process Modeling and Configuration
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
| Hi-index | 0.00 |
Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL community it is well recognized that variability in SPLs is increasing by the thousands. Hence, an automatic support is needed to deal with variability in SPL. Most of the current proposals for automatic reasoning on SPL are not devised to cope with extra–functional features. In this paper we introduce a proposal to model and reason on an SPL using constraint programming. We take into account functional and extra–functional features, improve current proposals and present a running, yet feasible implementation.