Feature modeling is widely used to systematically model features of variant-rich software
systems and their dependencies. By translating feature models into propositional formulas …

We present Crowbar, a deductive verification tool for the Active Object language ABS.
Crowbar implements novel specification approaches specifically for distributed systems. For …

A software product line (SPL) is a structured collection of distinct software products
developed from a common set of artifacts. SPLs can encompass millions of products, so …

The Rebeca modeling language is designed as an imperative actor-based language with
the goal of providing an easy-to-use language for modeling concurrent and distributed …

With feature-model analyses, stakeholders can improve their understanding of complex
configuration spaces. Computationally, these analyses are typically reduced to solving …

Software product lines (SPLs) are a technique to efficiently develop families of software
products. Code is implemented in functional features which are composed to individual …

Conversational agents in healthcare are gaining popularity, for example, in the context of
eliciting medical histories. Furthermore, due to the growing diversity of use cases and …

Context: Situational factors play an important role in selecting development methodologies
in the domain of software product lines (SPL). Adapting methodologies with particular SPL …

The Rebeca modeling language is designed as an imperative actor-based language with
the goal of providing an easy-to-use language for modeling concurrent and distributed …