(New) LaTeX macros for VDM

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Graeme I Parkin Tue, 30 Oct 1990 10:21

#219

Author: Graeme I Parkin
Date: Tue, 30 Oct 1990 10:21

60 lines
2628 bytes

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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads