Article View: comp.lang.modula2
Article #4509Re: Pascal dying out?
From: Frode Odegard
Date: Thu, 10 Nov 1988 18:32
Date: Thu, 10 Nov 1988 18:32
13 lines
1056 bytes
1056 bytes
In article <INFO-M2%88110812332319@UCF1VM>, ACPS2971@RYERSON.BITNET (PATRICK WINGERT) writes:
> 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.
Go read "Systematic Software Development Using VDM", by Cliff Jones (Prentice-Hall).
Also, you should all subscribe to the ISO/BSI Modula-2 papers. That'll give you
plenty of info. Contact Real-Time Associates in LONDON (+44-1-656-7333) and talk
to Steve Collins. I think it's 40 Pounds Sterling per year.
- Frode
PS: I'm surprised there isn't a comp.lang.vdm group! Check out comp.lang.misc
for info. on VDM.
Technical Details
Message-ID:
<107@m2cs.naggum.se>Path:
arc1-ca.pugleaf.net!utzoo!attcan!uunet!mcvax!enea!naggum!isncr!m2cs!frodeReferences:
<INFO-M2%88110812332319@UCF1VM>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!mcvax!enea!naggum!isncr!m2cs!frode From: frode@m2cs.naggum.se (Frode Odegard) Newsgroups: comp.lang.modula2 Subject: Re: Pascal dying out? Summary: VDM? Well, read this book... Message-ID: <107@m2cs.naggum.se> Date: 10 Nov 88 18:32:25 GMT References: <INFO-M2%88110812332319@UCF1VM> Organization: Modula-2 CASE Systems A.S, Oslo, Norway Lines: 13