Jack Ganssle's review of the SPARK book is mentioned on /.

Jack Ganssle's review of the SPARK book is mentioned on /.

[Mark Lorenzen]

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

Re: Jack Ganssle's review of the SPARK book is mentioned on /.

[Berend de Boer]

>>>>> "Mark" == Mark Lorenzen <mark.lorenzen@ofir.dk> 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. (-: