Operationales Spezifizieren mit programmierten Graphersetzungssystemen Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung Herausgegeben und eingeleitet von Manfred Nagl

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, . . .