摘要：Software reuse has been claimed to be the realistic means to increase the productivity of programme...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.显示全部
