%0 Journal Article
%T A Survey of Formal Methods of Software Component Representation and Retrieval<br>软件构件表示与检索形式化的研究与进展
%A XU Zheng-Quan WANG Jia-Bing WANG Neng-Chao
%A <br>徐正权
%A 王家兵
%A 王能超
%J 计算机科学
%D 2003
%I 
%X Software reuse has been claimed to be the realistic means to increase the productivity of programmers and improve the quality of developed software. Software reuse approaches can be classified into two closely related categories : development for reusable component and development with reusable component. System development with reusable components involves in a series of related woks : component representation, component retrieval, component composition, component modification, etc. Because formal methods have rigorous theoretical foundations and can characterize computational semantics of a component, they has been intensively researched in software engineering domain. This paper surveys the formal methods of component representation and retrieval, introduces current status and outlines future trends.
%K Software reuse
%K Component representation
%K Component retrieval
%K Formal methods<br>软件复用
%K 软件工程
%K 软件质量
%K 软件构件表示
%K 软件构件检索
%K 形式化
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=1D2C3C5902551E19&yid=D43C4A19B2EE3C0A&vid=340AC2BF8E7AB4FD&iid=DF92D298D3FF1E6E&sid=A4FA325EA800C820&eid=331211A5F5616413&journal_id=1002-137X&journal_name=计算机科学&referenced_num=2&reference_num=44