Operationales Spezifizieren mit programmierten Graphersetzungssystemen

Inhaltsverzeichnis

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