Re: VDM vs Z notation?

Article View: comp.specification

Article #462

Back to comp.specification Previous Next

#462

From: Elspeth Cusack
Date: Tue, 18 Jun 1991 15:24

20 lines
1233 bytes

Mark S Madsen <msm@computing.lancaster.ac.uk>
, quoted by collin@hpindda.cup.hp.com (Collin
 Park @ HP Information Networks) said:

These both sound like malicious rumours :-)  Standardising on VDM???
Someone is joking with you.  I can tell you that BT (formerly British
Telecom) has standardised on LOTOS and Z.


This statement about BT interest in formal methods is a little
misleading. It is true that there is research activity in both
LOTOS and Z,and that these are our `favoured candidates' (as
researchers) for specifying distributed systems. But that is a
long way from saying that the company has standardised on LOTOS
and Z! BT also has an active community of SDL users in the
protocol testing field, and considerable involvement with 
software methodologies and development conventions.

Elspeth Cusack

Technical Details

Message-ID: <1991Jun18.152454.27474@fmg.bt.co.uk>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!swrinde!elroy.jpl.nasa.gov!lll-winken!uunet!mcsun!ukc!axion!fmg!elc

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!swrinde!elroy.jpl.nasa.gov!lll-winken!uunet!mcsun!ukc!axion!fmg!elc
From: elc@fmg.bt.co.uk (Elspeth Cusack)
Newsgroups: comp.specification
Subject: Re: VDM vs Z notation?
Keywords: LOTOS, Z
Message-ID: <1991Jun18.152454.27474@fmg.bt.co.uk>
Date: 18 Jun 91 15:24:54 GMT
Organization: British Telecom
Lines: 20