Objectives

The goal of FormReq’19 will be to bring together industrial practitioners (both convinced and skeptical) as well as researchers to discuss the good practices, the remaining challenges, of using formal approaches to express and manage requirements.

In particular, we will focus on the following themes:

      • State-of-the-art in formal approaches to requirements

      • New ideas and techniques for formal requirements engineering

      • Industrial applications of formal approaches

 

Topics of interest

The goal is to explore the current approaches, but also to update the roadmap for a broader adoption by exploring the limitations, the crucial key problems that remain to be solved. Here is a non-exhaustive list:

    • Constrained natural languages for requirements
    • Formal approaches to support traceability
    • Adapted formal approaches, frameworks, or processes for requirements
    • Domain-specific requirements modeling languages
    • Evaluation and comparison of requirements languages, techniques and tools
    • Requirements verification & validation
    • Pattern matching in requirements
    • AI and formal requirements elicitation
    • Survey on the-state-of-the-art
    • Case studies of industrial applications
    • Tools and prototypes for formal requirements