Formal Methods

6 thoughts
last posted Sept. 5, 2013, 10:07 p.m.
0

I find myself sympathetic to many of the things that Dijkstra says, and really wanting to believe them. Yet, practical experience has shown me that they're a poor match for - and I hate saying this phrase so much - the "real world" of the "software engineering" "industry".

5 later thoughts