E.W. Dijkstra Archive: Answers to questions from students of Software Engineering (EWD1... - 1 views
-
Pablo Lalloni on 04 Mar 12The required techniques of effective reasoning are pretty formal, but as long as programming is done by people that don't master them, the software crisis will remain with us and will be considered an incurable disease.