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

作     者：李云清 

作者机构：江西师范大学计算机科学技术学院南昌330027 

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

出 版 物：《计算机工程》 (Computer Engineering)

年 卷 期：2003年第29卷第9期

页      码：22-23页

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

主 题 词：形式化 软件重用 算法 多态性 

学科分类：0810[工学-土木类] 0808[工学-自动化类] 0839[0839] 08[工学] 0835[0835] 0701[理学-数学类] 0811[工学-水利类] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.3969/j.issn.1000-3428.2003.09.010

馆 藏 号：203813523...