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