Re: You'd never think the Shuttle flew for 30 years without a flight bug.
"1)Design the code.Break it up into segements. Design the detailed equations it implements"
But then how do you deal with gestalt problems like race conditions that never appear in the individual components but only in the whole (thus gestalt: worse than the sum of the components) and even then only under certain edge case conditions?