Tag Archives: dijkstra

The source of error (updated)

Here’s Edsger Dijkstra discussing the birth of the use of axiomatics in computer science – the start of “formal methods” research.  What’s striking is the assumed choice between “axiomatic” and “mechanistic” as if there was no other way. In a … Continue reading

Posted in specification | Tagged , , , | Leave a comment

Updated Dijkstra vs Perlis (really, DeMillo)

See below.

Posted in architecture, security+fault-tolerance, software engineering, software security, software security | Tagged , , , | Leave a comment

Dijkstra versus Perlis (updated)

Here’s Dijkstra He [Perlis] published a very obnoxious paper arguing against a mathematical approach to programming cite Here’s the paper by De Millo, Lipton and Perlis. It starts as follows: Many people have argued that computer programming should strive to … Continue reading

Posted in security+fault-tolerance, software engineering, software security, software security | Tagged , , , , | Leave a comment