Re: Seeking formal description of Meta-IV

Article View: comp.specification

Article #148

Back to comp.specification Previous Next

#148

From: Cliff Jones
Date: Sun, 29 Jul 1990 07:28

31 lines
1865 bytes

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
                                    /
//////////////////////////////////////////////////////////////////////////////

Technical Details

Message-ID: <1527@m1.cs.man.ac.uk>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!mucs!cliff

References: <3149@gmdzi.UUCP>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message