Details

Autor(en) / Beteiligte

• Schürr, Andreas

Titel

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

Ist Teil von

• DUV: Informatik

Ort / Verlag

Wiesbaden : Deutscher Universitätsverlag

Erscheinungsjahr

1991

Link zum Volltext

• Volltext

Beschreibungen/Notizen

• 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