ANSI Standards for formal description techniques
Subject: ANSI Standards for formal description techniques
From: email@example.com (Gary Leavens)
Date: Mon, 22 Nov 93 16:51:13 CST
Delivery-Date: Mon, 22 Nov 93 14:56:40 -0800
In-Reply-To: firstname.lastname@example.org's message of Mon, 22 Nov 93 14:27:56 -0800 <9311222227.AA28129@roustabout.pa.dec.com>
I do regard them as competitors. They have the advantage of being in the
marketplace first (note that VDM preceded Z by quite a few years, too).
And when standards are issued, it will be a selling point. But standards
without experience are less of a selling point than experience without
standards. And because the standards process requires getting nearly
unanimous consensus on each point, it soaks up a huge amount of the
standardizers' time, without necessarily improving the thing being
So, at present, we have to sell Larch on technical superiority and higher MPG.
That seems reasonable and I think it's for you (and John) to decide.
I just wanted to be sure that you all were aware of it.