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 …

Requirements engineering (RE) is concerned with the identification of the goals to be
achieved by the envisioned system, the operationalization of such goals into services and …

A comprehensive introduction to the foundations of model checking, a fully automated
technique for finding flaws in hardware and software; with extensive examples and both …

Goals capture, at different levels of abstraction, the various objectives the system under
consideration should achieve. Goal-oriented requirements engineering is concerned with …

This article studies runtime verification of properties expressed either in lineartime temporal
logic (LTL) or timed lineartime temporal logic (TLTL). It classifies runtime verification in …

In recent years, monitoring the compliance of business processes with relevant regulations,
constraints, and rules during runtime has evolved as major concern in literature and …

CADP (Construction and Analysis of Distributed Processes) is a comprehensive software
toolbox that implements the results of concurrency theory. Started in the mid-1980s, CADP …

Finite-state verification techniques, such as model checking, have shown promise as a cost-
effective means for finding defects in hardware designs. To date, the application of these …

Workflow nets, a particular class of Petri nets, have become one of the standard ways to
model and analyze workflows. Typically, they are used as an abstraction of the workflow that …

Requirements engineering is concerned with the elicitation of high-level goals to be
achieved by the envisioned system, the refinement of such goals and their …