Automated Analysis of Feature Models Using Atomic Sets

Scalability is recognized as a key challenge in the automated analysis of Feature Models (FMs). Current solutions in this context mainly propose using different logic paradigms as a way to improve the performance at the solution level while the problem remains the same. Atomic Sets (ASs) were proposed as a promising solution for the simplification of FMs (i.e. reduction of the number of variables) in the context of automated analysis. However, years

• Type: Conference
• Year: 2008
• Where: SPLC
• Authors: Sergio Segura
• Keywords: Feature Models, Key Challenge, Software Engineering, Solution, SPLC 2008