Article View: comp.lang.modula2
Article #4506Re: Pascal dying out?
From: Jonathan Bowen
Date: Thu, 10 Nov 1988 07:42
Date: Thu, 10 Nov 1988 07:42
14 lines
1120 bytes
1120 bytes
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
Technical Details
Message-ID:
<8811100742.AA04439@uk.ac.ox.prg>Path:
arc1-ca.pugleaf.net!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!bowenReferences:
<8811090902.aa06534@tgould.doc.ic.ac.uk>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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 <INFO-M2%UCF1VM.bitnet@jade.berkeley.edu> Organization: Programming Research Group, Oxford University, UK Lines: 14