Inhalt
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.
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.
Titel
Operationales Spezifizieren mit programmierten Graphersetzungssystemen
Untertitel
Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung Herausgegeben und eingeleitet von Manfred Nagl
Autor
EAN
9783663145776
Format
E-Book (pdf)
Hersteller
Genre
Digitaler Kopierschutz
Wasserzeichen
Dateigrösse
37.09 MB
Anzahl Seiten
466
Auflage
1991
Lesemotiv
Unerwartete Verzögerung
Ups, ein Fehler ist aufgetreten. Bitte versuchen Sie es später noch einmal.