Earlier this week, I attended a colloquium hosted by the Minnesota chapter of the IASA. The presenter was Roger Sessions, CTO of ObjectWatch, and the topic was “The IT Complexity Crisis”. The presentation was well-received by most of the audience, but I found myself somewhat at odds with the material.
The so-called experts will tell you it can’t be done; it is not possible to create bug-free software, at least at low-cost for a non-trivial application. Now it seems, we have our first documented case of ostensibly zero-defect software.
Continue reading “Correctness by Construction: Praxis Scores!” »
Like many veteran software developers, I am sold on the value of defensive programming. It seems that no matter how thorough the requirements, nor how good the design, things can go wrong; and I’d like my code to be able to handle it. So imagine my surprise when no less than a DER provided me with a perfectly valid and well-reasoned argument to discard defensive programming techniques altogether.
