摘要： 将形式化技术和软件复用结合是非常有意义的工作。利用规约进行变换，寻找递推关系，可以比较容易得到抽象算法。在变换中，尽可能地将有关操作抽象表示，将操作细节延迟，以适合现代软件工程的软件开发需要，对一个具体问题将得到包含抽象操作的抽象算法。利用面向对象程序设计语言中的多态性等机制，将抽象操作用虚函数表示，如此设计的类可以作为可重用部件使用。

关键词: 形式化, 软件重用, 算法, 多态性

Abstract: 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.

中图分类号: 

• TP311.5