home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / specific / 364 < prev    next >
Encoding:
Text File  |  1992-08-12  |  1.0 KB  |  27 lines
  1. Newsgroups: comp.specification
  2. Path: sparky!uunet!walter!porthos!dancer!haim
  3. From: haim@dancer.uucp (24103-kilov)
  4. Subject: Re: parallel programming and specification tools
  5. Reply-To: haim@dancer.UUCP ()
  6. Organization: Bellcore, Livingston, NJ
  7. Date: Wed, 12 Aug 92 15:09:36 GMT
  8. Message-ID: <1992Aug12.150936.16184@porthos.cc.bellcore.com>
  9. References: <1992Aug7.121850.26706@hubcap.clemson.edu> <1992Aug11.065833.3465@weigele.de>
  10. Sender: netnews@porthos.cc.bellcore.com (USENET System Software)
  11. Lines: 14
  12.  
  13.  
  14. "Besides, the crucial thing about Formal Methods is "What tool support is
  15. available" - and be suspicious of "tools" as well!! There are few real good
  16. ones."
  17.  
  18. Absolutely not! A formal method is used to understand what you are talking
  19. about, i.e., to specify the "system" better. If, as a result of its use,
  20. the specification has less errors and/or is more complete and understandable,
  21. then it does not really matter whether there exists a miraculous tool that,
  22. with a push of a button, will create code out of a specification.
  23.  
  24. -Haim Kilov
  25. haim@dancer.cc.bellcore.com
  26.  
  27.