摘要
将形式化技术和软件复用结合是非常有意义的工作。利用规约进行变换，寻找递推关系，可以比较容易得到抽象算法。在变换中，尽可能地将有关操作抽象表示，将操作细节延迟，以适合现代软件工程的软件开发需要，对一个具体问题将得到包含抽象操作的抽象算法。利用面向对象程序设计语言中的多态性等机制，将抽象操作用虚函数表示，如此设计的类可以作为可重用部件使用。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第9期22-23,共2页
Computer Engineering
基金
国家自然科学基金项目 (69983003)
江西省教育厅科技项目
关键词
形式化
软件重用
算法
多态性
Formal derivation
Software reuse
Algorithm
Polymorphism
