CONTEXT: Variability management (VM) is one of the most important activities of software
product-line engineering (SPLE), which intends to develop software-intensive systems using …

Variability Management (VM) in Software Product Line (SPL) is a key activity that usually
affects the degree to which a SPL is successful. SPL community has spent huge amount of …

Knowledge-based Configuration incorporates knowledge representation formalisms to
capture complex product models and reasoning methods to provide intelligent interactive …

We present Clafer (cla ss, fe ature, r eference), a class modeling language with first-class
support for feature modeling. We designed Clafer as a concise notation for meta-models …

We present Clafer, a meta-modeling language with first-class support for feature modeling.
We designed Clafer as a concise notation for meta-models, feature models, mixtures of meta …

Context: Software product line engineering has proven to be an efficient paradigm to
develo** families of similar software systems at lower costs, in shorter time, and with …

The automated analysis of feature models is one of the thriving topics of research in the
software product line and variability management communities that has attracted more …

Abstract Context: Software product lines (SPLs) have reached a considerable level of
adoption in the software industry, having demonstrated their cost-effectiveness for …

Much work has been done to clarify the notion of metamodelling and new ideas, such as
strict metamodelling, distinction between ontological and linguistic instantiation, unified …

Abstract Domain ontology, encompassing both concepts and instances, along with their
relations and properties, is a new medium for the storage and propagation of domain …