Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Software Architecture in Practice
Software Architecture in Practice
FeaturePlugin: feature modeling plug-in for Eclipse
eclipse '04 Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange
Proceedings of the 5th international conference on Generative programming and component engineering
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
FeatureIDE: A tool framework for feature-oriented software development
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
SAT-based analysis of feature models is easy
Proceedings of the 13th International Software Product Line Conference
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
SAT-based analysis of feature models is easy
Proceedings of the 13th International Software Product Line Conference
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
Feature and meta-models in Clafer: mixed, specialized, and coupled
SLE'10 Proceedings of the Third international conference on Software language engineering
Evaluating a textual feature modelling language: four industrial case studies
SLE'10 Proceedings of the Third international conference on Software language 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
A study of non-Boolean constraints in variability models of an embedded operating system
Proceedings of the 15th International Software Product Line Conference, Volume 2
Journal of Systems and Software
Semantically configurable consistency analysis for class and object diagrams
Proceedings of the 14th international conference on Model driven engineering languages and systems
Deriving configuration interfaces from feature models: a vision paper
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
On extracting feature models from product descriptions
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Managing SAT inconsistencies with HUMUS
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
A user survey of configuration challenges in Linux and eCos
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Leveraging feature models to configure virtual appliances
Proceedings of the 2nd International Workshop on Cloud Computing Platforms
Decision support for the software product line domain engineering lifecycle
Automated Software Engineering
A comparison of strategies for tolerating inconsistencies during decision-making
Proceedings of the 16th International Software Product Line Conference - Volume 1
Tracing SPLs precisely and efficiently
Proceedings of the 16th International Software Product Line Conference - Volume 1
Evolutionary search-based test generation for software product line feature models
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Variability modeling in the wild
Proceedings of the 16th International Software Product Line Conference - Volume 2
Towards a catalog of variability evolution patterns: the Linux kernel case
FOSD '12 Proceedings of the 4th International Workshop on Feature-Oriented Software Development
Pairwise testing for software product lines: comparison of two approaches
Software Quality Control
Composing multiple variability artifacts to assemble coherent workflows
Software Quality Control
Grammar-based test generation for software product line feature models
CASCON '12 Proceedings of the 2012 Conference of the Center for Advanced Studies on Collaborative Research
C2O configurator: a tool for guided decision-making
Automated Software Engineering
FAMILIAR: A domain-specific language for large scale management of feature models
Science of Computer Programming
Configuration support for feature models with soft constraints
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Proceedings of the 2013 International Conference on Software Engineering
A systematic analysis of textual variability modeling languages
Proceedings of the 17th International Software Product Line Conference
Supporting multiple perspectives in feature-based configuration
Software and Systems Modeling (SoSyM)
FeatureIDE: An extensible framework for feature-oriented software development
Science of Computer Programming
Light-weight software product lines for small and medium-sized enterprises (SMEs)
CASCON '13 Proceedings of the 2013 Conference of the Center for Advanced Studies on Collaborative Research
The Drupal framework: a case study to evaluate variability testing techniques
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Towards system analysis with variability model metrics
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Automated generation of computationally hard feature models using evolutionary algorithms
Expert Systems with Applications: An International Journal
| Hi-index | 0.00 |
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniques such as SAT solvers and binary decision diagrams to provide efficient reasoning and interactive configuration services to SPL researchers and practitioners. In addition, the system provides a feature model repository containing real and generated models to encourage knowledge sharing among researchers in the field.