Model-Based Requirements Engineering

A basic project goal in the area of requirements engineering is the definition of a semantic core, which supports both textual requirements and a refinement of functional and non-functional requirements into the model-based development process. On the basis of this kind of semantic foundation, requirements management and verification will be of central importance and contribute directly to quality assurance.