Algebraische Spezifikation von H.A. Klaeren | Eine Einführung | ISBN 9783642690099

Algebraische Spezifikation

Eine Einführung

von H.A. Klaeren
Buchcover Algebraische Spezifikation | H.A. Klaeren | EAN 9783642690099 | ISBN 3-642-69009-2 | ISBN 978-3-642-69009-9

Algebraische Spezifikation

Eine Einführung

von H.A. Klaeren

Inhaltsverzeichnis

  • 1. Abstrakte Strukturen.
  • 2. Gleichungen, Spezifikationen.
  • 3. Rechnungen in Gleichungssystemen.
  • 4. Erweiterungen von Gleichungsspezifikationen.
  • 5. Finale Semantik.
  • 6. Behandlung von Ausnahmezuständen.
  • 7. Implementierungen von Gleichungsspezifikationen.
  • 8. Abstrakte Software-Spezifikationen.
  • 9. Korrektheit von Spezifikationen.
  • 10. Parametrisierte Spezifikationen.
  • 11. Praktischer Einsatz algebraischer Spezifikationen.
  • 12. Anwendungsbeispiel.
  • 13. Lösungen zu den Aufgaben.
  • 14. Bibliographie.
  • 15. Stichwortverzeichnis.