A Formal Definition of VDM-SL

D.J. Andrews; Hans Bruun; F. Damm; J. Dawes; Bo Stig Hansen; P.G. Larsen; G. Parkin; N. Plat; H. Toetenel

A Formal Definition of VDM-SL

D.J. Andrews (Editor), Hans Bruun, F. Damm, J. Dawes, Bo Stig Hansen, P.G. Larsen, G. Parkin, N. Plat, H. Toetenel

Research output: Book/Report › Report › Research › peer-review

Abstract

This joint report from the Danish Institute for Applied Computer Science (IFAD), the Technical Universities of Delft and Denmark and the University of Leicester contains the background and technical material used in the production of the ISO Standard that defines the specification language part of the Vienna Development Method; this language is called VDM-SL. The joint report is an amalgamation of published reports produced during the period of the project. The material of the original reports has been updated and incorporates various suggestions and corrections that were made by the participants and reviewers of the project - these changes have improved the style and technical correctness of the formal definitions used to define VDM-SL.

Original language	English

Number of pages	417
Publication status	Published - 1998

OpenUrl availability

Full text

Cite this

@book{67b8bf6d5bc142068518a039bcdff57b,

title = "A Formal Definition of VDM-SL",

abstract = "This joint report from the Danish Institute for Applied Computer Science (IFAD), the Technical Universities of Delft and Denmark and the University of Leicester contains the background and technical material used in the production of the ISO Standard that defines the specification language part of the Vienna Development Method; this language is called VDM-SL. The joint report is an amalgamation of published reports produced during the period of the project. The material of the original reports has been updated and incorporates various suggestions and corrections that were made by the participants and reviewers of the project - these changes have improved the style and technical correctness of the formal definitions used to define VDM-SL.",

author = "Hans Bruun and F. Damm and J. Dawes and Hansen, {Bo Stig} and P.G. Larsen and G. Parkin and N. Plat and H. Toetenel",

editor = "D.J. Andrews",

year = "1998",

language = "English",

}

TY - RPRT

T1 - A Formal Definition of VDM-SL

AU - Bruun, Hans

AU - Damm, F.

AU - Dawes, J.

AU - Hansen, Bo Stig

AU - Larsen, P.G.

AU - Parkin, G.

AU - Plat, N.

AU - Toetenel, H.

A2 - Andrews, D.J.

PY - 1998

Y1 - 1998

N2 - This joint report from the Danish Institute for Applied Computer Science (IFAD), the Technical Universities of Delft and Denmark and the University of Leicester contains the background and technical material used in the production of the ISO Standard that defines the specification language part of the Vienna Development Method; this language is called VDM-SL. The joint report is an amalgamation of published reports produced during the period of the project. The material of the original reports has been updated and incorporates various suggestions and corrections that were made by the participants and reviewers of the project - these changes have improved the style and technical correctness of the formal definitions used to define VDM-SL.

AB - This joint report from the Danish Institute for Applied Computer Science (IFAD), the Technical Universities of Delft and Denmark and the University of Leicester contains the background and technical material used in the production of the ISO Standard that defines the specification language part of the Vienna Development Method; this language is called VDM-SL. The joint report is an amalgamation of published reports produced during the period of the project. The material of the original reports has been updated and incorporates various suggestions and corrections that were made by the participants and reviewers of the project - these changes have improved the style and technical correctness of the formal definitions used to define VDM-SL.

M3 - Report

BT - A Formal Definition of VDM-SL

ER -