On 30/03/12 17:17, Jim Laurino wrote:
I also remember Dijkstra, who wrote, long ago now,
"no amount of testing
can prove the absence of defects", and made the unassailable case, at
least for me, that defects had to be prevented by design. This is
essentially the "discovery" that the author of the referenced note
describes. I can not recommend "Notes on structured programming" enough.
A pdf reprint of the book "Structured Programming", which contains it,
is available through the ACM. Note that all 3 authors later,
independently received Turing awards.
I think you mean these ones ? :)
http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD249.PDF