Struktur einer Modellspezifikation VDM Tutor Der modellorientierte Ansatz

Vienna Development Method

 

Die Vienna Development Method (VDM ) ist ein Vertreter des modellorientierten Ansatzes. In diesem Kapitel wird beschrieben, wie VDM den modellorientierten Ansatz  umsetzt und wie man praktisch mit VDM arbeitet. Zunächst wird die generelle Struktur einer Modellspezifikation in VDM erläutert. Die Installation unter UNIX an der FH Wedel  und ihre Besonderheiten sind Thema des Abschnitts 3.2 -- der Prozeß der Programmentwicklung mit Hilfe dieser Installation von VDM folgt im Abschnitt 3.3. Zum Schluß werden die Vorteile der Arbeit mit VDM zusammengefaßt.

• Struktur einer Modellspezifikation
• Das VDM-System unter UNIX
• Programmentwicklung mit VDM
• Vor- und Nachteile von VDM