In this work, we report about research results on the Reasoning about Product-Line Evo- lution using Complex Feature Model Differences, published in [Bu ̈15]. A (software) product-line constitutes a long-term investment and, therefore, has to undergo continuous evolution to meet con- stantly changing requirements. ...

In this work, we report about our research results on analysis of cardinality-based fea- ture models with potentially unbounded feature multiplicities, initially published in [We16]. Feature models are frequently used for specifying variability of user-configurable software systems, e.g., software product lines. Numerous ...