形式化方法在基于构件软件重用中的应用研究

摘要	第1-5页
Abstract	第5-8页
第一章 绪论	第8-12页
·引言	第8页
·项目来源	第8-9页
·项目简介	第8-9页
·项目中的技术关键及创新点	第9页
·构件关系和构件模型的研究现状	第9-10页
·构件关系描述的研究现状	第9-10页
·构件模型的研究现状	第10页
·本文的主要工作	第10-11页
·论文的组织结构	第11-12页
第二章 基本概念	第12-18页
·基于构件的软件工程(CBSE)	第12-15页
·软件构件	第12页
·构件库及其管理系统	第12-14页
·构件模型	第14-15页
·形式化方法	第15-18页
·形式化方法的定义和发展历史	第15-16页
·形式化方法在现阶段的主要研究内容	第16-18页
第三章 构件关系推演	第18-29页
·推演体系的建立	第18-24页
·构件关系语言(Lc)的定义	第18-20页
·构件关系语言的语法结构	第20页
·构件关系语言的语义	第20-22页
·形式推演	第22-23页
·析取范式	第23-24页
·构件关系符号的完备性证明	第24页
·推演体系的应用	第24-29页
第四章 构件模型的描述	第29-56页
·RSAE构件模型介绍	第29-31页
·构件模型所要描述的信息	第29-30页
·RSAE构件模型	第30-31页
·基于检索的部分	第31-37页
·构件常用的分类和检索方法介绍	第31-32页
·基于检索部分的设计	第32-33页
·基于检索部分的查询	第33-37页
·基于学习的部分	第37-38页
·基于组装和演化的部分	第38-55页
·自动机的原理	第38页
·基于组装和演化部分的构件模型的B抽象机实现	第38-48页
·应用举例	第48-54页
·B语言描述的优点	第54-55页
·本章小结	第55-56页
第五章 结论与展望	第56-57页
参考文献	第57-59页
攻读硕士学位期间科研工作情况	第59-60页
致谢	第60页