"I agree when he says that trying to model your problem in a specification then write the software is doomed for failure." Is that a reasonable generalization?

"I agree when he says that trying to model your problem in a specification then write the software is doomed for failure." Is that a reasonable generalization? Here is a case where divergence between the model and "reality" would be catastrophic: http://www.fastcompany.com/node/28121/print http://www.fastcompany.com/node/28121/print I'm also interested in exactly how one would apply an iterative cycle of implement->test->formalize to this category of software? (Ooops. There goes the rocket! Back to the keyboard!)