软件构件的形式化描述与检索研究

摘要	第1-4页
Abstract	第4-7页
第一章 绪论	第7-15页
·本课题的研究背景	第7-8页
·本课题的国内外研究现状	第8-13页
·构件模型研究现状	第8-11页
·构件描述与检索的研究现状	第11-13页
·本课题研究的主要内容	第13-15页
第二章 相关概念及理论	第15-25页
·构件的定义	第15-19页
·软件构件的定义	第15-16页
·软件构件的分类	第16-17页
·构件技术的要求和特点	第17-19页
·形式化方法	第19-25页
·形式化方法的定义及其发展历史	第19-20页
·形式化方法在现阶段主要研究内容	第20-21页
·形式化方法的分类	第21-22页
·形式化方法的优点及开发过程	第22-24页
·形式化方法的争议和评价	第24-25页
第三章 构件的形式化描述模型	第25-49页
·指称语义基础	第25-27页
·概述	第25页
·动态语义	第25-27页
·构件的描述模型概述	第27-29页
·接口描述	第29-31页
·功能描述	第31页
·属性描述	第31-32页
·环境依赖描述	第32-33页
·附加文档	第33页
·具体构件的描述	第33-49页
·购物车的描述	第33-37页
·计算器的描述	第37-49页
第四章 构件的检索策略	第49-61页
·构件检索的评价标准	第49-50页
·构件的检索	第50-61页
·构件的检索模型	第50页
·查询分析器的程序设计	第50-61页
第五章 构件检索系统的设计与实现	第61-65页
·构件检索系统简介	第61页
·CRS系统开发环境	第61页
·CRS系统的实现	第61-63页
·CRS系统的总结	第63-65页
第六章 论文总结与展望	第65-67页
致谢	第67-69页
参考文献	第69-73页
附录A 攻读学位期间发表论文目录	第73页