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

Design and Implementation of Reusable Components Based on Algorithmic Frame

作　　者：李云清[1] 

机构地区：[1]江西师范大学计算机科学技术学院,南昌330027

出　　处：《计算机工程与应用》2001年第23期136-138,156,共4页Computer Engineering and Applications

基　　金：国家自然科学基金资助项目(编号:69783006;69983003);江西省跨世纪人才资助项目

摘　　要：对算法程序的功能规约进行等价变换,可以自然而且方便地得到求解问题设计思想的精确表达,即循环不变式。抽象算法又可以通过循环不变式获得。对算法程序中的算子进行提取、抽象就可以得到算法框架,而算法框架可以设计出可重用部件。文章通过对数组段极值问题的求解,展示了形式化推导不仅可以得到正确、高效的算法程序,而且具有软件重用的功能,并进一步给出了利用可重用部件求解数组段极值问题的C++实现。By transforming function specification,the loop invariant,the main ideas of solving problem,can be easily and naturally obtained.Algorithmic program also can be easily produced based on the loop invariant.Algorithmic frame can be gained by abstracting the arithmetic operators of algorithmic program.This paper discusses the effect of formal derivation in developing program and shows that the reusable components are designed with algorithmic frame The results that solve extreme value of array segment show the effect of obtaining efficient and correct algorithmic program and reusable components.Lastly,the program of solution to the extreme value of array segment is implemented with the reusable components using C++.

关 键 词：循环不变式 算法结构 可重用部件 软件重用 软件工程 计算机 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]