This paper focuses on the challenges of modeling cyber–physical systems (CPSs) that arise
from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It …

One of the most important features of current state-of-the-art SAT solvers is the use of conflict
based backtracking and learning techniques. In this paper, we generalize various conflict …

Goal models have proven useful for capturing, understanding, and communicating
requirements during early stages of software development. However, the utility of goal …

The increasing demand for complex and distributed software calls for novel software
engineering methods and techniques, to create systems able to autonomously adapt to …

Abstract Design of self-adaptive software-intensive cyber–physical systems (siCPS)
operating in dynamic environments is a significant challenge when a sufficient level of …

The use of Requirements at Runtime (RRT) is an emerging research area. Many methods
and frameworks that make use of requirements models during software execution can be …

Requirements Engineering (RE) focuses on eliciting, modeling, and analyzing the
requirements and environment of a system-to-be in order to design its specification. The …

This paper describes an investigation into value-based software engineering and proposes
a comprehensive value taxonomy with interpretation of design feature implications. The …

More and more, modern software systems in a distributed and parallel environment are
becoming highly complex and difficult to manage. A self-adaptive approach that integrates …

We report experience in requirements elicitation of domain knowledge from experts in
clinical and cognitive neurosciences. The elicitation target was a causal model for early …