PROMOD SEES, das im wesentlichen die Spezifikationssprache unterstützt. Das Werkzeug basiert auf der Methode Structured Analysis von DeMarco und baut aus der graphischen Eingabe der Strukturdiagramme eine Datenbasis auf. Mit PROMOD lassen sich nach der Methode von Ward & Mellor auch Echtzeitprobleme angehen. Zur Darstellung von Echtzeitsteuerel......