Formal Derivation of Algorithm and Its Application of Softwarereuse
Yunqing Li · Jisuanji gongcheng · 2003
It's a meaningful work to combine formal technology and software reuse. By transforming function specification, the recurrence relation of abstract problem-solving can be easily obtained. In transformation, efforts should be made to express the operations abstractly and delay the operation details so that a specific problem-solving including the abstract operation can be obtained to meet the need of the software developing of the modern software engineering. With the polymorphism in object oriented programming language, the abstract operation is expressed by the virtual function. In this way, the designed class can be used as a reusable software component.