Index
VDM Tutor
Literaturhinweise
Abbildungsverzeichnis
VDM in der Design-Phase
VDM in Detailentwurf und Codierung
VDM: Tätigkeit des VDM-Compilers
VDM: Tätigkeit des C-Compilers
Make-Datei für VDM
Make-Datei mit Erzeugung einer Enrichment-Datei
Beispiel für eine DSL-Spezifikation
Wirkung der Operationen
copy1
und
copy
Beispiel für Sets: das ,,coarsest partitioning``-Problem
Beispiel für Tuples: das Pascal-Dreieck
Beispiel für Trees: der Binärbaum
Struktur der VDM-Bibliothek
ADT in der VDM-Bibliothek: Namen, Implementationen
VDM Class Library