Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!mucs!seg.npl.co.uk From: gip@seg.npl.co.uk (Graeme I Parkin) Newsgroups: comp.specification Subject: (New) LaTeX macros for VDM Message-ID: <1865@m1.cs.man.ac.uk> Date: 30 Oct 90 10:21:12 GMT Sender: news@cs.man.ac.uk Reply-To: cliff@cs.man.ac.uk (Cliff Jones) Organization: Department of Computer Science, University of Manchester UK Lines: 60 Return-Path: To: cliff@ux.cs.man.ac.uk Dear Cliff, Please can you place the following on comp.specification newsgroup (I hope this time to have put in all the necessary information). Thanks, Graeme I Parkin. ------------Item for comp.specification------------------------ VDM LaTeX macros ~~~~~~~~~~~~~~~~ Work is being done by the British Standards Institution (BSI) to produce a standard version of VDM (Vienna Development Method) which is expected then to become an International Organization for Standardization (ISO) standard. There now exist a set of LaTeX macros for VDM which correspond to the emerging standard for VDM. They implement the syntax of the developing BSI standard VDM Specification Language, described in document: VDM Specification Language, Proto-Standard, BSI IST/5/19, 29 March 1990 (Document No: 181). Obtainable from: D Andrews, Department of Computing Studies, University of Leicester, University Road, Leicester, LE1 7RH. They were written at the National Physical Laboratory where they are now being updated and maintained. They come in three files: vdmsl.tex: Manual on their use. This at the moment needs more explanation and examples. A new version will be ready by January 1991. vdmsl.sty: This is the VDMSL macros (or style file). vdmsl.doc: Identical to vdmsl.sty except has comments explaining the macros. Please note that you will need a large version of TeX to use the macros in any serious way. You should be able to get the documentation compiled on most implementations of TeX. To obtain: e-mail: info-server@seg.npl.co.uk With the following content of the message: request: latex topic: vdmsl.sty topic: vdmsl.tex topic: vdmsl.doc Note that vdmsl.doc and vdmsl.tex are sent in two parts. To check for version number: e-mail: info-server@seg.npl.co.uk With the following content of the message: request: latex topic: version vdmsl If there are any comments or problems then please contact either: Graeme I Parkin: gip@seg.npl.co.uk or Nick North: ndn@seg.npl.co.uk