21 May 2004

An nice article arguing that source code is the design. It is well written. I agree with the fact that low-level work might reveal problems in the high level design; this should lead to the refactor of the top-level design rather than doing local "hacking". I do not agree that formal proofs are inefficient.

No comments:

Post a Comment

Note: (1) You need to have third-party cookies enabled in order to comment on Blogger. (2) Better to copy your comment before hitting publish/preview. Blogger sometimes eats comments on the first try, but the second works. Crazy Blogger.