I phrased that incorrectly - the techniques are all there in CS, but if anything...

arethuza on March 21, 2010 | parent | context | favorite | on: Why writing software is not like engineering

I phrased that incorrectly - the techniques are all there in CS, but if anything they are too formal. It's the practical benefits of applying formal methods that are missing from general development (usually for good reasons).