Abstract iStar is a general-purpose goal-based modelling language used to model
requirements at early and late phases of software development. It has been used in …

Abstract [Context and motivation] Over the last decade, researchers and engineers have
developed a vast body of methodologies and technologies in requirements engineering for …

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 …

A socio-technical system (STS) consists of an interplay of humans, organizations, and
technical systems. STSs are heterogeneous, dynamic, unpredictable, and weakly …

Artificial intelligence (AI) in its various forms finds more and more its way into complex
distributed systems. For instance, it is used locally, as part of a sensor system, on the edge …

The effective development of advanced data analytics solutions requires tackling challenges
such as eliciting analytical requirements, designing the machine learning solution, and …

Many current software systems suffer from a lack of consideration of the human differences
between end users. This includes age, gender, language, culture, emotions, personality …

The assurance of real-time properties is prone to context variability. Providing such
assurance at design time would require to check all the possible context and system …

Context: Runtime uncertainty such as unpredictable operational environment and failure of
sensors that gather environmental data is a well-known challenge for adaptive systems …

CONTEXT: The environment in which the system operates, its context, is variable. The
autonomous ability of a software to adapt to context has to be planned since the …