In this paper, we review current requirements engineering (RE) research and identify future
research directions suggested by emerging software needs. First, we overview the state of …

In this paper, we review current requirements engineering (RE) research and identify future
research directions suggested by emerging software needs. First, we overview the state of …

Software systems modernisation using Service Oriented Architectures (SOAs) and Web
Services represents a valuable option for extending the lifetime of mission-critical legacy …

Most software developed in recent years has a graphical userinterface (GUI). The only way
for the end-user to interact with the software application is through the GUI. Hence …

Breakdowns in complex systems often occur as a result of system elements interacting in
unanticipated ways. In systems with human operators, human–automation interaction …

This paper is concerned with support for the process of usability engineering. The aim is to
use formal techniques to provide a systematic approach that is more traceable, and because …

One part of demonstrating that a device is acceptably safe, often required by regulatory
standards, is to show that it satisfies a set of requirements known to mitigate hazards. This …

The use of formal methods is often recommended to guarantee the provision of necessary
services and to assess the correctness of critical properties, such as functional safety …

This paper is concerned with the scaleable and systematic analysis of interactive systems.
The motivating problem is the procurement of medical devices. In such situations several …

Software-intensive systems become more and more important in our everyday lives. But
their increasing complexity makes it difficult to develop and maintain them. This chapter …