Looking for users of Z and VDM

Article View: comp.specification

Article #76

Back to comp.specification Previous Next

#76

From: Simon Raybould
Date: Thu, 12 Apr 1990 16:02

3 lines
526 bytes

We are considering adopting a specification language such as VDM or Z
and are looking for any advice.

Technical Details

Message-ID: <ZXQ#L-$@masalla.fulcrum.bt.co.uk>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!mailrus!uunet!mcsun!ukc!axion!masalla.fulcrum.bt.co.uk!sie

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!mailrus!uunet!mcsun!ukc!axion!masalla.fulcrum.bt.co.uk!sie
From: S.J.Raybould@fulcrum.bt.co.uk (Simon Raybould)
Newsgroups: comp.specification
Subject: Looking for users of Z and VDM
Message-ID: <ZXQ#L-$@masalla.fulcrum.bt.co.uk>
Date: 12 Apr 90 16:02:35 GMT
Reply-To: sie@fulcrum.bt.co.uk (Simon Raybould)
Organization: BT Fulcrum, Birmingham, England
Lines: 3