VDM '87. VDM - a formal method at work. VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987. Proceedings
type: Item
instance of: scholarly article
title: VDM '87. VDM - a formal method at work. VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987. Proceedings
zbMATH Open document ID: 0646.68006
published in: Lecture Notes in Computer Science
publication date: 1987-01-01T00:00:00Z
review text: Die Vienna Definition Method (VDM) ist eine formale Methode zur Beschreibung und schrittweisen Entwicklung von Software-Systemen. 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 vohergehenden als korrekt nachgewiesen. In die Beschreibungssprache Meta-IV von VDM sind viele Aspekte der von Landin, Scott und Strachey entwickelten denotationellen Semantik eingeflossen. Das vorliegende Buch beinhaltet Ausarbeitungen von Vorträgen, die auf dem VDM-Europe Symposium 1987 in Brüssel gehalten wurden. Es gliedert sich im mehrere Teile auf, die jeweils bestimmte Aspekte von VDM behandeln. Die einführenden Referate (Tutorial Papers) befassen sich mit dem Typkonzept von Meta-IV und der schrittweisen Entwicklung abstrakter Datentypen. Weitere Schwerpunkte sind Software- Entwicklungsumgebungen für Meta-IV, Standardisierungsaspekte 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 zur theoretischen Fundierung von VDM runden das Buch ab. Durch das vorliegende Buch erhält man einen guten Überblick über den aktuellen Entwicklungsstand von VDM, wobei allerdings für die genaue Lektüre theoretische Vorkenntnisse notwendig sind.
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 4054992
zbMATH Keywords: VDM
zbMATH Keywords: Proceedings
zbMATH Keywords: Symposium
zbMATH Keywords: Brussels/Belgium
zbMATH Keywords: denotational semantics
zbMATH Keywords: software engineering. Vienna Definition Method
zbMATH Keywords: Meta-IV
reviewed by: Bruno Zimmermann
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 4054992