Operationales Spezifizieren mit programmierten Graphersetzungssystemen

Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung Herausgegeben und eingeleitet von Manfred Nagl

Andreas Schürr (Autor)

Buch | Softcover

XIII, 466 Seiten

1991
Deutscher Universitätsverlag
9783824420216 (ISBN)

Artikel merken

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

1. Einleitung.- 2. Informelle Spracheinführung.- 3. Theoretische Grundlagen.- 4. Formale Sprachdefinition.- 5. Werkzeugunterstützung.- 6. Zusammenfassung und Ausblick.- Anhang A: Die konkrete PROGRESS-Syntax.- Anhang B: Die Spezifikation "ExpLanguage".- Anhang C: Die Spezifikation "FamilyCharts".- Anhang D: Die Spezifikation "FerryMansProblem".- Stichwortverzeichnis.

Erscheint lt. Verlag	1.1.1991
Reihe/Serie	DUV: Datenverarbeitung
Zusatzinfo	XIII, 466 S.
Verlagsort	Wiesbaden
Sprache	deutsch
Maße	155 x 235 mm
Gewicht	610 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Graphersetzung • Graphersetzungssystem • PROGRES • Software • Spezifikation • Spiele • Sprache • Syntax • Werkzeug
ISBN-13	9783824420216 / 9783824420216
Zustand	Neuware