Path: utzoo!utgpu!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!uflorida!gatech!bloom-beacon!ucbvax!PRAXIS.UUCP!mct From: mct@PRAXIS.UUCP (Martyn Thomas) Newsgroups: comp.lang.modula2 Subject: Re: Pascal dying out? Message-ID: <5814.8811111003@hilbert.praxis.co.uk> Date: 11 Nov 88 10:03:45 GMT References: Sender: daemon@ucbvax.BERKELEY.EDU Reply-To: Info-Modula2 Distribution List Organization: Praxis Systems plc, Bath, UK Lines: 13 In article you write: >Can someone give me information on what This VDM that the ISO commitee is using > is and what it can do....A referance would also be helpful. The Vienna Development Method (VDM) uses discrete mathematics to build mathematical models of the semantics of programming languages (or computer systems). It originated at the IBM Vienna Labs in the mid 70s. See: Systematic Software Development Using VDM; CB Jones; Prentice-Hall (Publisher). -- Martyn Thomas, Praxis plc, 20 Manvers Street, Bath BA1 1PX UK. Tel: +44-225-444700. Email: ...!uunet!mcvax!ukc!praxis!mct