Path: 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 Mark S Madsen , 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