🚀 go-pugleaf

In article <1991Jun18.152454.27474@fmg.bt.co.uk> elc@fmg.bt.co.uk (Elspeth Cusack) writes:

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

(I apologise in advance for any inconsistencies that may arise through
my not having ever seen Collin's quotation of my email to him.)

>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.

Sounds like my sort of self-assured tone, so it was probably I that
wrote it :-)

>This statement about BT interest in formal methods is a little
>misleading. It is true that there is research activity in both
 ^^^^^^^^^^
Oh, definitely it must indeed have been I writing, if the content is
misleading!

>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.

My apologies to everyone at BT for misrepresenting them to the world.
(I am not apologising for misleading the net because the above quote
was sent in private email, and quoted without permission from me.)
I was clearly under a mistaken impression that LOTOS and Z were in
possession of official approval.

However (I love having the opportunity to begin a paragraph with that
word :-), let me emphasise that at least one point in my original
posting was correct, and is implied in Elspeth's posting:  VDM is by
no means the only formal technique in use in the UK with either
business or academic concerns.

>Elspeth Cusack

Hope you're all keeping well down there - say hi to Steve from me.

			Mark

-- 
______________________________________________________________________
      Mark S Madsen   +44-524-65201x3819    msm@comp.lancs.ac.uk
      Department of Computing, Lancaster University, LA1 4YR, UK
______________________________________________________________________