From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,eff76a422700d8cf,start X-Google-Attributes: gid103376,public Path: controlnews3.google.com!news1.google.com!news.glorb.com!newsfeed1.uni2.dk!news.get2net.dk.POSTED!53ab2750!not-for-mail Newsgroups: comp.lang.ada Subject: Jack Ganssle's review of the SPARK book is mentioned on /. From: Mark Lorenzen Message-ID: User-Agent: Gnus/5.1002 (Gnus v5.10.2) Emacs/21.3 (gnu/linux) Cancel-Lock: sha1:fDNWJWloi7AEKszNzXQx/BbzF7I= MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Wed, 19 May 2004 22:27:14 +0200 NNTP-Posting-Host: 82.180.17.211 X-Complaints-To: abuse@colt-telecom.dk X-Trace: news.get2net.dk 1084998422 82.180.17.211 (Wed, 19 May 2004 22:27:02 CEST) NNTP-Posting-Date: Wed, 19 May 2004 22:27:02 CEST Organization: Colt Telecom Kunde Xref: controlnews3.google.com comp.lang.ada:692 Date: 2004-05-19T22:27:14+02:00 List-Id: The hacker site /. has an article referring to a review of the SPARK book that has previously been mentioned in this group. http://books.slashdot.org/article.pl?sid=04/05/19/190235 Not surprisingly, a lot of negative feed-back is written in the discussion forum, including critic of Ada, SPARK and who knows what. It is actually pretty irritating to read the idiotic comments on software engineering (or rather hacking/coding) and on why it would be much better just to test the program. Maybe someone with the time and energy should reply to some of the postings - but it is probably just a waste of time. - Mark Lorenzen