Anforderungen verstehen, formal interpretieren und Identifikation schaffen –