Combine a high rate of change (which makes correctness hard to maintain) with an increased sensitivity to failure to maintain correctness and you have a big problem. Solving this problem must be the focus of our methodology. In this paper, the author describes the layered approach that he found to be the most successful in maintaining correctness in the face of rapid change.
['Paul F. Dubois']
Maintaining correctness in scientific programs