Path: utzoo!utgpu!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!nrl-cmf!ames!joyce!mordor!lll-tis!helios.ee.lbl.gov!pasteur!ucbvax!prg.oxford.ac.uk!bowen From: bowen@prg.oxford.ac.uk (Jonathan Bowen) Newsgroups: comp.lang.modula2 Subject: Re: Pascal dying out? Message-ID: <8811100742.AA04439@uk.ac.ox.prg> Date: 10 Nov 88 07:42:30 GMT References: <8811090902.aa06534@tgould.doc.ic.ac.uk> Sender: daemon@ucbvax.BERKELEY.EDU Reply-To: Info-Modula2 Distribution List Organization: Programming Research Group, Oxford University, UK Lines: 14 In article <8811090902.aa06534@tgould.doc.ic.ac.uk> 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. VDM = Vienna Development method. It is a formal specification language and method based on predicate calculus and set theory. See "Systematic Software Development using VDM" by Prof Cliff Jones (pub Prentice-Hall) for more info. -- Jonathan Bowen Programming Research Group Oxford University