文献类型：期刊文章

作　　者：徐正权[1] 王家兵[1] 王能超[2]

机构地区：[1]华中科技大学计算机学院,武汉430074 [2]华中科技大学并行计算研究所,武汉430074

出　　处：《计算机科学》

年　　份：2003

卷　　号：30

期　　号：7

起止页码：99-102

语　　种：中文

收录情况：BDHX、BDHX2000、CSA、CSCD、CSCD2011_2012、IC、JST、RCCSE、UPD、ZGKJHX、核心刊

摘　　要：Software reuse has been claimed to be the realistic means to increase the productivity of programmers andimprove the quality of developed software. Software reuse approaches can be classified into two closely related cate-gories: development for reusable component and development with reusable component. System development withreusable components involves in a series of related woks: component representation, component retrieval, componentcomposition, component modification, etc. Because formal methods have rigorous theoretical foundations and cancharacterize computational semantics of a component, they has been intensively researched in software engineering do-main. This paper surveys the formal methods of component representation and retrieval, introduces current statusand outlines future trends.

关 键 词：软件复用 软件工程 软件质量 软件构件表示  软件构件检索  形式化

分 类 号：TP311.5]