Seamless Model-based Requirements Engineering: Models, Guidelines, Tools

Sabine Teufl

May 2017


A practical model-based approach for requirements engineering (RE) should address all of the following challenges: Textual documentation; analysis, validation and verification of requirements; the integration of RE into a comprehensive development approach; guidance and tool support. These challenges have previously been studied in isolation. This work examines these challenges holisticly, selects models, guidelines and tool support, and integrates them into a seamless model-based RE approach.

subject terms: AutoFOCUS3, MIRA, model-based requirements engineering, model-based systems engineering, MbSE