Operationales Spezifizieren mit programmierten Graphersetzungssystemen

SOMMARIO

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.

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9783824420216
• Collana: DUV: Datenverarbeitung
• Dimensioni: 235 x 155 mm
• Formato: Brossura
• Illustration Notes: XIII, 466 S.
• Pagine Arabe: 466
• Pagine Romane: xiii