A functional specification decomposition tree model of an algorithm design process ispresented, and the properties of functional specification and the correctness criteria of thealgorithm design are discussed. The correctness of some major rules used in NDADAS isverified.
展开▼