Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!usenet.ins.cwru.edu!tut.cis.ohio-state.edu!ucbvax!CS.SFU.CA!rsutc From: rsutc@CS.SFU.CA (rsutc) Newsgroups: comp.lang.modula2 Subject: Re: VDM & M2 Message-ID: Date: 9 Feb 90 17:52:06 GMT Sender: daemon@ucbvax.BERKELEY.EDU Reply-To: Modula2 List Organization: The Internet Lines: 11 The British were very convincing as they argued that VDM was appropriate for the effort. VDM is itself the subject of a standardization effort. The English of D106 is intended to supplement the VDM, not to be equivalent to it. Rick Sutcliffe Associate Professor \ (89-90 only) Visitor Computing Science & Mathematics \ School of Computing Science Trinity Western University \ Simon Fraser University 7600 Glover Rd., \ Burnaby, B.C. Canada V5A 1S6 Langley B.C. Canada V3A 4R9 e-mail: Rick_Sutcliffe@cc.sfu.ca OR Compuserve 76475,3406 Chairman WG13 (Modula-2) Canada