Abhängigkeitsanalyse und Parameterberechnung auf Spezifikationsebene.