[Prev][Next][Index]
Re: ANSI Standards for formal description techniques
-
To: leavens@bambam.cs.iastate.edu (Gary Leavens)
-
Subject: Re: ANSI Standards for formal description techniques
-
From: horning
-
Date: Mon, 22 Nov 93 13:35:27 -0800
-
Cc: larch-interest
-
Delivery-Date: Mon, 22 Nov 93 13:37:12 -0800
-
In-Reply-To: Message of Mon, 22 Nov 93 14:40:58 CST from leavens@bambam.cs.iastate.edu (Gary Leavens)
Gary,
International standardization is a very heavyweight process, typically not
considered worthwhile until there is an imminent danger of conflicting de
facto standards.
My view is that we don't yet have enough experience with Larch to want to
inhibit innovation by attempting standardization. As Tony Hoare once said:
The only things that should be standardized are those where being different
is worse than being wrong. We can standardize screw threads and film
speeds because we know enough to know what choices can safely be made
arbitrarily.
There is a lot more experience for the VDM-SL and Z committees to draw on
than we have with Larch. We should keep standardization in mind for the
future, however; it will be good to have their experience to draw on.
Jim H.
PS I once saw a copy of the American National Standard for a Dry Martini.
It filled two pages.
Follow-Up(s):