10.3969/j.issn.1000-3428.2003.09.010
算法形式化推导及其在软件重用中的应用
将形式化技术和软件复用结合是非常有意义的工作.利用规约进行变换,寻找递推关系,可以比较容易得到抽象算法.在变换中,尽可能地将有关操作抽象表示,将操作细节延迟,以适合现代软件工程的软件开发需要,对一个具体问题将得到包含抽象操作的抽象算法.利用面向对象程序设计语言中的多态性等机制,将抽象操作用虚函数表示,如此设计的类可以作为可重用部件使用.
形式化、软件重用、算法、多态性
29
TP311(计算技术、计算机技术)
国家自然科学基金69983003;江西省教育厅科研项目
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共2页
22-23