Hinweise für die Leserschaft VDM Tutor VDM Tutor

Inhalt

• Hinweise für die Leserschaft
  • Wer soll dieses Handbuch lesen ?
  • Aufbau dieses Handbuches
  • VDM - eine kurze Historie
• Abstrakte Datentypen
  • Abstraktion beim Programmieren
    • Anlaß der Abstraktion
    • Modularisierung
    • Datenabstraktion
    • ,,Geheimnisprinzip``
  • Was sind abstrakte Datentypen ?
    • Definition
    • Vor- und Nachteile von ADT
    • Formale Methoden
  • Der modellorientierte Ansatz
    • Repräsentationale Abstraktion
    • Operationale Abstraktion
    • Konkretisierung
• Vienna Development Method
  • Struktur einer Modellspezifikation
    • Terminologie
    • Die VDM-Spezifikation
  • Das VDM-System unter UNIX
    • Die Basistypen in der VDM-Bibliothek
    • Die Domain Specification Language
    • Der VDM-Compiler
    • Informationen mit vdminfo
  • Programmentwicklung mit VDM
    • Design-Phase - Detailentwurf
    • Die Codier-Phase
    • Übersetzung
    • Projektverwaltung mit make
  • Vor- und Nachteile von VDM
• Domain Specification Language (DSL)
  • Die Gesamtstruktur
  • Die Domain-Gleichungen
  • Die Implementationsbeschreibungen
• Die VDM-Basistypen
  • Speicherverwaltung
  • Generelle Operationen
  • Elementare Datentypen
    • Die vordefinierten Zahlentypen
    • Der logische Datentyp Bool
    • Der vordefinierte Datentyp Str
    • Selbstdefinierte elementare Datentypen
  • Sets
    • Was ist ein Set ?
    • Set-Implementation
    • Set-Operationen
    • Beispiel: ,,Coarsest Partitioning``
  • Tuples
    • Was ist ein Tuple ?
    • Tuple-Implementationen
    • Tuple-Operationen
    • Beispiel: ,,Pascal-Dreieck``
  • Maps
    • Was ist eine Map ?
    • Map-Implementationen
    • Map-Operationen
    • Beispiel: Stücklistenverwaltung
    • Beispiel: Heap-Speicherverwaltung
  • Optionals
    • Was sind Optionals ?
    • Optional-Implementationen
    • Optional-Operationen
  • Trees
    • Was ist ein Tree ?
    • Tree-Implementationen
    • Tree-Operationen
    • Beispiel: Der Binärbaum
  • Unions
    • Was ist eine Union ?
    • Union-Implementationen
    • Union-Operationen
• Rekursive Typdefinition
  • Verwaltung von variablen Datenmengen
    • Sequentielle Organisation
    • Rekursionskonzepte
  • Implementation rekursiver Strukturen
  • Beispiel: Syntaxdefinition von Programmiersprachen
• Ein größeres Beispiel
  • Quantitative Stückliste - das Datenmodell
  • Die semantischen Funktionen
    • Laden und Speichern
    • Eingabe einer Teil-Beschreibung
    • Struktur-Stückliste
  • Das Steuerprogramm
• Online-Hilfe mit vdminfo
  • Die Struktur der VDM-Bibliothek
  • Der Aufruf von vdminfo
• DSL-Syntax
• Die Operationen der ADT
• Die Implementationen
• Der VDM-Compiler
• Abbildungsverzeichnis