VDM '88. VDM (Vienna development method) - The way ahead. 2nd VDM-Europe symposium, Dublin, Ireland, September 11-16, 1988. Proceedings (Q1188528)

The articles of this volume will not be indexed individually. Die Vienna development method (VDM) ist eine formale Methode zur Beschreibung und schrittweisen Entwicklung von Software-Systemen, die in der Praxis immer häufiger eingesetzt wird. Dabei basiert die Beschreibung auf einem Zustandsmodell und Operationen, die durch sogenannte Pre- und Post-Conditions definiert sind. Die Entwicklung beginnt mit der System-Spezifikation und endet mit der Implementierung des Systems. Jeder Entwicklungsschritt wird bezüglich des vorhergehenden als korrekt nachgewiesen. Für die Formulierung der Beweise steht der Kalkül der Prädikatenlogik zur Verfügung. In die Beschreibungssprache Meta-IV von VDM sind viele Aspekte der von Landin, Scott and Strachey entwickelten denotationellen Semantik eingeflossen. Das vorliegende Buch enthält Ausarbeitungen von Vorträgen, die auf dem zweiten VDM-Europe Symposium 1988 in Dublin gehalten wurden. Es gliedert sich inhaltlich in mehrere Teile, die jeweils bestimmte Aspekte von VDM behandeln. Die einführenden Referate geben einen Einblick in die VDM-Spezifikationsprache und behandeln insbesondere Strukturierungsaspekte und Verifikationstechniken. Eine breiten Raum nehmen die Anwendungen ein. Neben dem traditionellen Anwendungsgebiet Compiler-Konstruktion wird die Standardisierung von Programmiersprachen (Modula-2) und Software-Systemen (GKS) mit in VDM formulierten Spezifikationen ausführlich behandelt. Weitere Schwerpunkte sind Software-Entwicklungsumgebungen für VDM, Standardisierung von VDM und Erfahrungsberichte über den Einsatz von VDM bei der Realisierung großer Software-Systeme, wodurch die zunehmende Bedeutung von VDM für die industrielle Software-Produktion belegt wird. Zahlreiche Referate, in denen VDM mit anderen Software-Spezifikationsmethoden verglichen wird, und einige Beiträge zur theoretischen Fundierung von VDM runden den Band ab. Durch das vorliegende Buch erhält der Leser einen guten Überblick über den aktuellen Entwicklungsstand von VDM, wobei allerdings für die genaue Lektüre der meisten Beiträge weitgehende theoretische Vorkenntnisse notwending sind.