Xref: utzoo comp.specification:105 comp.software-eng:3996
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!mucs!cliff
From: cliff@cs.man.ac.uk (Cliff Jones)
Newsgroups: comp.specification,comp.software-eng
Subject: Re: Seeking formal description of Meta-IV
Message-ID: <1527@m1.cs.man.ac.uk>
Date: 29 Jul 90 07:28:31 GMT
References: <3149@gmdzi.UUCP>
Sender: news@cs.man.ac.uk
Reply-To: cliff@cs.man.ac.uk (Cliff Jones)
Followup-To: comp.specification
Organization: Department of Computer Science, University of Manchester UK
Lines: 31


From brianm@cs.man.ac.uk Sun Jul 29 08:26:58 1990
Return-Path: <brianm@r8a.cs.man.ac.uk>
Date: Thu, 26 Jul 90 19:37:23 BST
From: brianm@cs.man.ac.uk
To: weber@gmdzi.gmd.de
Cc: peter@ifad.dk, db@iddth.dk, Cliff@cs.man.ac.uk
Subject: Re: seeking formal description of DDC/Meta IV

Frank,

   Contact Peter Gorm Larsen <peter@ifad.dk> who has been working on
BSI-VDM formal semantics for quite a while now.  He also knows about
DDC/Meta IV.  You could also approach Dines Bjorner <db@iddth.dk>
directly.

   I wrote the semantic definition for the STC VDM language a long
time back - so I have been involved in the BSI-VDM effort also.
However, I'm intregued you want to go back to DDC/Meta IV and not
forward to BSI/VDM or RAISE or MetaSoft or Z or COLD-K or ...

//////////////////////////////////////////////////////////////////////////////
                                    /
   Dr. Brian Monahan                /
                                    /
   Department of Computer Science   /   Janet : brianm@uk.ac.man.cs
   The University of Manchester	    /           bqm@uk.ac.man.cs
   Oxford Road			    /   Phone : (+44)-61-275-6137
   Manchester M13 9PL		    /   FAX   : (+44)-61-275-6280
                                    /
//////////////////////////////////////////////////////////////////////////////