算法形式化推导及其在软件重用中的应用  

Formal Derivation of Algorithm and Its Application of Softwarereuse

作　　者：李云清[1] 

机构地区：[1]江西师范大学计算机科学技术学院,南昌330027

出　　处：《计算机工程》2003年第9期22-23,共2页Computer Engineering

基　　金：国家自然科学基金项目 (69983003);江西省教育厅科技项目

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