E-Book, Deutsch, 466 Seiten, eBook
Reihe: DUV: Datenverarbeitung
Schürr Operationales Spezifizieren mit programmierten Graphersetzungssystemen
1991
ISBN: 978-3-663-14577-6
Verlag: Deutscher Universitätsverlag
Format: PDF
Kopierschutz: 1 - PDF Watermark
Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung Herausgegeben und eingeleitet von Manfred Nagl
E-Book, Deutsch, 466 Seiten, eBook
Reihe: DUV: Datenverarbeitung
ISBN: 978-3-663-14577-6
Verlag: Deutscher Universitätsverlag
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.