Operationales Spezifizieren Mit Programmierten Graphersetzungssystemen

Die vorliegende Arbeit ist im "Dunstkreis" des IPSEN-Projektes entstanden und w re ohne die vielfaltigen Anregungen aus diesem Kontext nicht denkbar gewesen. Besonderer Dank gilt deshalb Prof. Dr. Ing. M. Nagl, dem Leiter des IPSEN-Projekts und dem geistigen Vater des Urahns von PROGRESS, f r die Vergabe eines so span- nenden Dissertationsthemas, f r die M glichkeit zur freien Entfaltung im Rahmen des IPSEN-Projekts und f r seinen vehementen Einspruch gegen viele Versuche, die Spra- che PROGRESS allein aus Effizienzgriinden zu vereinfachen. Ferner danke ich dem Zweitgutachter, Prof. Dr. H. -J. Schneider, der die M he nicht gescheut hat, f r diese doch etwas umfangreich geratene Arbeit ein Gutachten zu erstellen. Mein Dank gilt weiterhin allen jetzigen und ehemaligen Kollegen und Diploman- den im IPSEN-Projekt, die - in welcher Weise auch immer - zum Gelingen meiner Ar- beit beigetragen haben. Besonderen Dank schulde ich hier - den IPSEN-Opas Gregor Engels und Wilhelm Sch fer f r ihre Verdienste um das "Graph Grarnmar Engineering," - meinem Landsmann Claus Lewerentz f r die Gelegenheit zu vielen fruchtbaren "Zwischen T r und Angel"-Gespr chen in unserer gemeinsamen Muttersprache, - meinem WG-Genossen und Arbeitskollegen Bernhard Westfechtel, dem welt- besten PROGRESS-Programmierer, f r seine Diskussionsbereitschaft in allen Lebenslagen (beim Fr hst ck, Absp len, . . .