Path: utzoo!attcan!uunet!tut.cis.ohio-state.edu!ucbvax!DURHAM.AC.UK!Barry.Cornelius
From: Barry.Cornelius@DURHAM.AC.UK
Newsgroups: comp.lang.modula2
Subject: Re: VDM & M2
Message-ID: <emu-ec14.lg.1990.0208.135540.cok2@uk.ac.dur.mts>
Date: 8 Feb 90 13:55:40 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Reply-To: Modula2 List <INFO-M2%UCF1VM.BITNET@PSUVM.PSU.EDU>
Organization: The Internet
Lines: 25

The Draft Proposal for a Modula-2 Standard uses VDM to
specify the semantics of the language formally.   The VDM that
is used is close to that used in the following books:
   Systematic Software Development Using VDM
   C.B.Jones, Prentice Hall, 1986, 0-13-880717-5, 1st edition
and:
   Software Development: A Rigorous Approach
   C.B.Jones, Prentice Hall, 1980, 0-13-821884-6
(The 1986 Jones book is better than the 1980 book for this work.)
There is a particular style of use of the specification language
of VDM that is employed when specifying the semantics of
programming languages.   This style is explained in the book:
   Formal Specification and Software Development
   D.Bjorner and C.B.Jones, Prentice Hall, 1982, 0-13-329003-4
Chapter 4 of this book is particularly useful.
==
Barry Cornelius
==
Computer Science Group, School of Engineering and Applied Science,
University of Durham, Durham, DH1 3LE, England
              JANET:       Barry.Cornelius@uk.ac.durham
              Internet:    Barry.Cornelius%durham.ac.uk@cunyvm.cuny.edu
              UUCP:        ...ukc!cs.nott.ac.uk!bjc
              BITNET/EARN: Barry.Cornelius%DURHAM@AC.UK
Tel: Durham (091 or +44 91) 374 2638, Secretary: 374 2630, Fax: 374 3741