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
Inferring information from feature diagrams to product line economic models
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
Automated analysis of feature models 20 years later: A literature review
Information Systems
REV '09 Proceedings of the 2009 Fourth International Workshop on Requirements Engineering Visualization
Flexible and scalable consistency checking on product line variability models
Proceedings of the IEEE/ACM international conference on Automated software engineering
Managing feature models with familiar: a demonstration of the language and its tool support
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
ISA packager: a tool for SPL deployment
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Vision paper: make a difference! (semantically)
Proceedings of the 14th international conference on Model driven engineering languages and systems
Managing SAT inconsistencies with HUMUS
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Model search: formalizing and automating constraint solving in MDE platforms
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
A comparison of strategies for tolerating inconsistencies during decision-making
Proceedings of the 16th International Software Product Line Conference - Volume 1
Using regression testing to analyze the impact of changes to variability models on products
Proceedings of the 16th International Software Product Line Conference - Volume 1
Modeling and analysis of product-line variants
Proceedings of the 16th International Software Product Line Conference - Volume 2
FaMa-OVM: a tool for the automated analysis of OVMs
Proceedings of the 16th International Software Product Line Conference - Volume 2
Quality-aware analysis in product line engineering with the orthogonal variability model
Software Quality Control
Integrating heterogeneous variability modeling approaches with invar
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
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
Towards detecting redundancy in domain engineering process using first order logic rules
International Journal of Knowledge Engineering and Soft Data Paradigms
SPLEMMA: a generic framework for controlled-evolution of software product lines
Proceedings of the 17th International Software Product Line Conference co-located workshops
An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
FAMA Framework (FAMA FW) is a tool for the automated analysis of variability models (VM). Its main objective is providing an extensible framework where current research on VM automated analysis might be developed and easily integrated into a final product. FAMA FW is built following the SPL paradigm supporting different variability metamodels, reasoners or solvers, analysis questions and reasoner selectors, easing the production of customized VM analysis tools. FAMA FW is written in Java and distributed under LGPL License.