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