Combinatorial optimization: algorithms and complexity
Combinatorial optimization: algorithms and complexity
Essentials of fuzzy modeling and control
Essentials of fuzzy modeling and control
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties
Viewpoints: principles, problems and a practical approach to requirements engineering
Annals of Software Engineering
Feature-Oriented Project Line Engineering
IEEE Software
A Standard Problem for Evaluating Product-Line Methodologies
GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
Application of fuzzy logic to approximate reasoning using linguistic synthesis
MVL '76 Proceedings of the sixth international symposium on Multiple-valued logic
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Feature Diagrams: A Survey and a Formal Semantics
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Verifying feature models using OWL
Web Semantics: Science, Services and Agents on the World Wide Web
Reasoning about Feature Models in Higher-Order Logic
SPLC '07 Proceedings of the 11th International Software Product Line Conference
Logic-based automated multi-issue bilateral negotiation in peer-to-peer e-marketplaces
Autonomous Agents and Multi-Agent Systems
Sample Spaces and Feature Models: There and Back Again
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Efficient compilation techniques for large scale feature models
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Automated reasoning on feature models
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Assessing the maintainability of software product line feature models using structural metrics
Software Quality Control
Bringing semantics to feature models with SAFMDL
Proceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research
Decision support for the software product line domain engineering lifecycle
Automated Software Engineering
Modeling variability in product lines using domain quality attribute scenarios
Proceedings of the WICSA/ECSA 2012 Companion Volume
Proceedings of the 16th International Software Product Line Conference - Volume 1
AoURN-based modeling and analysis of software product lines
Software Quality Control
Quality-aware analysis in product line engineering with the orthogonal variability model
Software Quality Control
Non-functional requirements in model-driven software product line engineering
Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages
Performance variability in software product lines: a case study in the telecommunication domain
Proceedings of the 17th International Software Product Line Conference
Requirements-driven deployment
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Feature modeling is a technique for capturing commonality and variability. Feature models symbolize a representation of the possible application configuration space, and can be customized based on specific domain requirements and stakeholder goals. Most feature model configuration processes neglect the need to have a holistic approach towards the integration and satisfaction of the stakeholder's soft and hard constraints, and the application-domain integrity constraints. In this paper, we will show how the structure and constraints of a feature model can be modeled uniformly through Propositional Logic extended with concrete domains, called P(N). Furthermore, we formalize the representation of soft constraints in fuzzy P(N) and explain how semi-automated feature model configuration is performed. The model configuration derivation process that we propose respects the soundness and completeness properties.