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 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,eff76a422700d8cf X-Google-Attributes: gid103376,public Path: controlnews3.google.com!news1.google.com!newshub.sdsu.edu!newshosting.com!nx01.iad01.newshosting.com!diablo.voicenet.com!38.119.100.83.MISMATCH!news-out1.nntp.be!propagator2-sterling!propagator3-cogent!in.nntp.be!newsfeed01.tsnz.net!news.xtra.co.nz!53ab2750!not-for-mail Newsgroups: comp.lang.ada Subject: Re: Jack Ganssle's review of the SPARK book is mentioned on /. References: From: Berend de Boer Message-ID: User-Agent: Gnus/5.1002 (Gnus v5.10.2) Emacs/21.2 (windows-nt) Cancel-Lock: sha1:fSzCu+aWADa90UdHbijrfDh6rQQ= MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Wed, 26 May 2004 08:25:09 +1200 NNTP-Posting-Host: 219.89.117.159 X-Complaints-To: newsadmin@xtra.co.nz X-Trace: news.xtra.co.nz 1085516709 219.89.117.159 (Wed, 26 May 2004 08:25:09 NZST) NNTP-Posting-Date: Wed, 26 May 2004 08:25:09 NZST Organization: Xtra Xref: controlnews3.google.com comp.lang.ada:821 Date: 2004-05-26T08:25:09+12:00 List-Id: >>>>> "Mark" == Mark Lorenzen writes: Mark> Not surprisingly, a lot of negative feed-back is written in Mark> the discussion forum, including critic of Ada, SPARK and who Mark> knows what. It is actually pretty irritating to read the Mark> idiotic comments on software engineering (or rather Mark> hacking/coding) and on why it would be much better just to Mark> test the program. Typical comment: "I don't know a lot about this stuff, but ...." Modded 5, Insightful of course. Mark> Maybe someone with the time and energy should reply to some Mark> of the postings - but it is probably just a waste of time. Don't waste your time. -- Regards, Berend. (-: