Safety and security are important properties of any software system, particularly in safety-
critical domains, such as embedded, automotive, or cyber-physical systems. Moreover …

Abstractions are significant domain terms that have assisted in requirements elicitation and
modeling. To extend the assistance towards requirements validation, we present in this …

Abstractions are significant domain terms that have assisted in requirements elicitation and
modeling. To extend the assistance toward requirements validation, we present in this paper …

Cyber-Physical Systems (CPS) interact closely with their surroundings. They are directly
impacted by their physical and operational environment, adjacent systems, user interactions …

Automated traceability has been investigated for over a decade with promising results.
However, a human analyst is needed to vet the generated trace links to ensure their quality …

Many software failures originate in the environment. To make the environment assumptions
explicit in the requirements-based testing process, we propose to construct opposites where …

Data-intensive systems are software applications that process and generate Big Data. Data-
intensive systems support the use of large amounts of data strategically and efficiently to …

Software practitioners must implement a growing list of regulatory and security mandates,
but have no established tool or mechanism for demonstrating their due diligence or …

In order to mitigate the ever-increasing trend in software failures with far reaching
consequences, research has suggested close coordination of requirements engineering …

Autonomous drones have been proposed for many industrial inspection roles including
building infrastructure, nuclear plants and mining. They have the benefit of accessing …