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 …

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 …

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

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 …

Driving automation systems, including autonomous driving and advanced driver assistance,
are an important safety-critical domain. Such systems often incorporate perception systems …

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 …

An eternal dilemma for all organizations, and one that a considerable portion of
management schools are set up to address, is how to become and stay competitive …

A common problem with many existing software systems and the approaches to engineering
them is their lack of the human aspects of their target end users. People are different-with …