随着信息技术的迅猛发展,计算机软件已渗透到社会生活的方方面面。与此同时,软件项目规模的不断壮大、功能的增强和复杂度的增加,软件的成本、进度、质量也变得更加难以控制,这使得软件开发难度不断上升,软件开发周期加长,修改与返工情况严重。因此,如何复用以往成功的开发方案以快速生产出高质量软件产品成为软件产业重要的热点问题。基于构件的软件工程(Component-Based Software Engineering,CBSE)或基于构件的开发(Component-Based Development,CBD),是一种新的软件开发方式,它是在一定构件模型的支持下,复用构件库中的一个或多个软件构件,以组装的方式高效率、高质量地构造应用软件系统的过程,有效地提高了软件开发效率和质量。随着软件复用研究不断深入,构件的准确描述与高效检索已成为面向构件的软件复用研究的热点和难点。本文首先参照3C构件模型,提出一种基于形式化方法的,可扩展的构件描述模型,包括构件的功能描述、接口描述、环境依赖描述等,并保留了构件关键字、非功能属性等描述项。在此描述模型基础上提出了构件的分步检索法,首先通过构件的非功能属性描述,构件的分类描述等信息进行类似于刻面方法的非形式化检索;然后根据构件接口描述中的构件执行前件与后件进行多模糊级的形式化检索;最后在前两步检索的结果中,根据构件的复用历史信息、演示文件等进行手工筛选,以最终选出最适合需求的构件。基于3C构件模型,本文第三章提出了构件的描述模型,第四章在描述模型的基础上,着重论述了包含四级模糊度的构件形式化检索方法,以提高构件的查找效率并兼顾查全率和查准率。本文的最后设计了构件检索的原型系统SCRDEM,以实践验证3、4章的理论,并对实验结果进行了分析。