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

• 作者: 李云清
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 形式化 软件重用 算法 多态性
• 年，卷（期）: 2003,（9）
• 所属期刊栏目: 基金项目论文
• 页码范围: 22-23
• 页数: 2页
• 分类号: TP311
• 字数: 2293字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2003.09.010

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李云清	江西师范大学计算机科学技术学院	18	152	8.0	11.0