Xref: utzoo comp.specification:101 comp.software-eng:3966
Path: 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

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