Seeking formal description of Meta-IV

Article View: comp.specification

Article #145

Back to comp.specification Previous Next

#145

From: Frank Weber
Date: Tue, 24 Jul 1990 14:22

18 lines
796 bytes

I am looking for a complete formal description of the VDM dialect Meta-IV
(more precise: DDC/Meta-IV).

Could anyone provide me with some references, please?

Thank you.

Frank Weber

------------------------------------------------------------------------------

Frank Weber
GMD, Schloss Birlinghoven
Postfach 1240
D-5205 Sankt Augustin
West Germany
Phone: +49-2241-14-2351
E-Mail: weber@gmdzi.gmd.de

Technical Details

Message-ID: <3149@gmdzi.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!unido!gmdzi!weber

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!unido!gmdzi!weber
From: weber@gmdzi.UUCP (Frank Weber)
Newsgroups: comp.specification,comp.software-eng
Subject: Seeking formal description of Meta-IV
Keywords: Meta-IV, VDM
Message-ID: <3149@gmdzi.UUCP>
Date: 24 Jul 90 14:22:42 GMT
Organization: GMD, Sankt Augustin, F. R. Germany
Lines: 18