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 cor...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.展开更多
文摘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.
