Re: parallel programming and specification tools

Article View: comp.specification

Article #79

Back to comp.specification Previous Next

#79

From: 24103-kilov
Date: Wed, 12 Aug 1992 15:09

13 lines
1095 bytes

"Besides, the crucial thing about Formal Methods is "What tool support is
available" - and be suspicious of "tools" as well!! There are few real good
ones."

Absolutely not! A formal method is used to understand what you are talking
about, i.e., to specify the "system" better. If, as a result of its use,
the specification has less errors and/or is more complete and understandable,
then it does not really matter whether there exists a miraculous tool that,
with a push of a button, will create code out of a specification.

-Haim Kilov
haim@dancer.cc.bellcore.com

Technical Details

Message-ID: <1992Aug12.150936.16184@porthos.cc.bellcore.com>

Path: arc1-ca.pugleaf.net!sparky!uunet!walter!porthos!dancer!haim

References: <1992Aug7.121850.26706@hubcap.clemson.edu> <1992Aug11.065833.3465@weigele.de>

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification
Path: arc1-ca.pugleaf.net!sparky!uunet!walter!porthos!dancer!haim
From: haim@dancer.uucp (24103-kilov)
Subject: Re: parallel programming and specification tools
Reply-To: haim@dancer.UUCP ()
Organization: Bellcore, Livingston, NJ
Date: Wed, 12 Aug 92 15:09:36 GMT
Message-ID: <1992Aug12.150936.16184@porthos.cc.bellcore.com>
References: <1992Aug7.121850.26706@hubcap.clemson.edu> <1992Aug11.065833.3465@weigele.de>
Sender: netnews@porthos.cc.bellcore.com (USENET System Software)
Lines: 14

Reply to Parent Message