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 …

Linear temporal logic (LTL) is commonly used in model checking tasks; moreover, it is well-
suited for the formalization of technical requirements. However, the correct specification and …

Natural languages like English are rich, complex, and powerful. The highly creative and
graceful use of languages like English and Tamil, by masters like Shakespeare and …

A rigorous formalization of desired system requirements is indispensable when performing
any verification task. This often limits the application of verification techniques, as writing …

The n-gram language model, which has its roots in statistical natural language processing,
has been shown to successfully capture the repetitive and predictable regularities …

We present MCMAS, a model checker for the verification of multi-agent systems. MCMAS
supports efficient symbolic techniques for the verification of multi-agent systems against …

Service-based systems that are dynamically composed at runtime to provide complex,
adaptive functionality are currently one of the main development paradigms in software …

Formal methods offer an effective means to assert the correctness of software systems
through mathematical reasoning. However, the need to formulate system properties in a …

Mobile and general-purpose robots increasingly support everyday life, requiring
dependable robotics control software. Creating such software mainly amounts to …

Probabilistic verification techniques are a powerful means to ensure that a software-
intensive system fulfills its quality requirements. To apply these techniques an accurate …