基于算法框架的可重用部件设计与实现

• 作者: 李云清
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 形式推导 变换 循环不变式 算法结构 可重用部件
• 年，卷（期）: 2001,（23）
• 所属期刊栏目: 学术探讨
• 页码范围: 136-138,156
• 页数: 4页
• 分类号: TP311
• 字数: 3490字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2001.23.047

摘要

对算法程序的功能规约进行等价变换,可以自然而且方便地得到求解问题设计思想的精确表达,即循环不变式.抽象算法又可以通过循环不变式获得.对算法程序中的算子进行提取、抽象就可以得到算法框架,而算法框架可以设计出可重用部件.文章通过对数组段极值问题的求解,展示了形式化推导不仅可以得到正确、高效的算法程序,而且具有软件重用的功能,并进一步给出了利用可重用部件求解数组段极值问题的C++实现.

作者信息

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