
Edsger Dijkstra and the TSA school of software correctness
A point of view focused on prevention, and on categories of error we already understand, will necessarily shortchange the tools and methods for approaching brand new new surprises as they happen.