Don Batory
Antonio Ruiz-Cortes
- Asikainen, T., Männistö, T., and Soininen, T. Using a configurator for modelling and configuring software product lines based on feature models. In Proceedings of the Workshop on Software Variability Management for Product Derivation, Software Product Line Conference (SPLC3), 2004.Google Scholar
- Batory, D. Feature models, grammars, and propositional formulas. In Proceedings of the Software Product Line Conference, 2005. Google ScholarDigital Library
- Batory, D. and Thaker, S. Towards safe composition of product lines. Technical Report, Dept. Computer Sciences, University of Texas, TR-06-33, 2006.Google Scholar
- Benavides, D., Trinidad, P., and Ruiz-Cortés, A. Automated reasoning on feature models. In Proceedings of the Conference on Advanced Information Systems Engineering (CAISE). LNCS 3520, July 2005. Google ScholarDigital Library
- Benavides, D., Segura, S., Trinidad, P., and Ruiz-Cortés, A. Using Java CSP solvers in the automated analyses of feature models. In Post-Proceedings of The Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE). LNCS 4143, 2006. Google ScholarDigital Library
- Czarnecki, K. and Kim, C.H.P. Cardinality-based feature modeling and constraints: A progress report. In Proceedings of the OOPSLA Workshop on Software Factories, 2005.Google Scholar
- Czarnecki, K. and Pietroszek, K. Verifying feature-based model templates against well-formed OCL constraints. Generative Programming and Component Engineering, 2006. Google ScholarDigital Library
- Kang, K., Cohen, S., Hess, J., Nowak, W., and Peterson, S. Feature-oriented domain analysis (FODA) feasibility study. Technical Report, CMU/SEI-90TR-21, Nov. 1990.Google ScholarCross Ref
- Mittal, S. and Frayman, F. Towards a generic model of configuration tasks. In Proceedings of the 11th International Conference on Artificial Intelligence, 1989, 1391--1401.Google Scholar
- Neema, S., Sztipanovits, J., and Karsai, G. Constraint-based design space exploration and model synthesis. In Proceedings of EMSOFT 2003, LNCS 2855, 290--305.Google ScholarCross Ref
- Pohl, K., Bockle, G., and Linden, F. Software Product Line Engineering: Foundations, Principles and Techniques. Springer, 2005. Google ScholarDigital Library
- Reiter, R. A theory of diagnosis from first principles. Artificial Intelligence 32, 1 (1987), 57--96. Google ScholarDigital Library
Index Terms
- Automated analysis of feature models: challenges ahead
Recommendations
A Python framework for the automated analysis of feature models: A first step to integrate community efforts
SPLC '20: Proceedings of the 24th ACM International Systems and Software Product Line Conference - Volume BFeature modeling is the "de facto" standard to describe the common and variant parts of software product lines. Different tools, approaches, and operations for the automated analysis of feature models (AAFM) have been proposed in the last 20 years. The ...
Automated analysis of dependent feature models
VaMoS '13: Proceedings of the 7th International Workshop on Variability Modelling of Software-Intensive SystemsFeature models specify valid combinations of features in software product lines. With dependent feature models (DFMs), we apply separation of concerns to feature models for two main benefits. First, we can modularize feature models into parts relevant ...
Automated analysis of feature models: current state and practices
SPLC '18: Proceedings of the 22nd International Systems and Software Product Line Conference - Volume 1Software Product Lines (SPLs) are about developing a set of different software products that share some common functionality. Feature models are widely used to encode the common and variant parts of an SPL. The number of products encoded in a feature ...
Comments