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/ReportReportResearchpeer-review


    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 languageEnglish
    Number of pages417
    Publication statusPublished - 1998

    Cite this