首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--程序设计、软件工程论文--软件工程论文

面向软件复用的组件形式化开发

摘要第1-3页
ABSTRACT第3-7页
第1章 绪论第7-13页
   ·研究背景及意义第7-8页
   ·国内外研究现状第8-11页
   ·主要研究内容第11页
   ·论文的组织结构第11-13页
第2章 基于组件的软件开发方法第13-25页
   ·软件复用第13-16页
     ·软件复用的概念第13-14页
     ·软件复用的意义第14页
     ·软件复用的过程第14-15页
     ·软件复用的类型第15-16页
   ·组件技术第16-20页
     ·组件技术的概念第16-18页
     ·标准组件规范与验证第18-20页
   ·主要组件模型第20-22页
     ·COM第20页
     ·EJB第20-21页
     ·CORBA第21-22页
   ·主流组件模型的比较第22-24页
   ·本章小结第24-25页
第3章 组件形式化模型与形式规范第25-38页
   ·B 语言概述第25-26页
   ·组件模型第26-27页
   ·模型的外部连接器第27-30页
   ·组件主体第30-31页
   ·集成操作器第31页
   ·组件形式化规范第31-33页
     ·组件和接口第32页
     ·实时语义第32-33页
   ·组件实例---银行系统第33-37页
   ·小结第37-38页
第4章 基于多属性效用函数的组件优化组合第38-45页
   ·多属性效用函数分析法第38-41页
     ·多属性效用函数原理第38-39页
     ·解决问题的基本步骤第39页
     ·量化模型第39-41页
   ·AHP 层次分析法第41-42页
   ·两种方法的结合第42-43页
     ·组件最优组合第42-43页
   ·小结第43-45页
第5章 组件的软件架构设计第45-60页
   ·架构的定义第45-50页
     ·组件构架建模第45-47页
     ·背景建模第47页
     ·接口建模第47-48页
     ·定义接口第48-50页
   ·架构的设计第50-54页
     ·定义接口第51页
     ·整体框架设计第51-54页
   ·架构的实例---数字银行的软件架构模型第54-59页
     ·数字银行数据组织模型第54-55页
     ·基于CORBA/DCOM 的Agent 软件数字化银行模型第55页
     ·四类基本Agent 的内部结构第55-58页
     ·中级Agent4 层体系结构第58页
     ·基于软件的Agent 数字银行层状分布模型第58-59页
   ·小结第59-60页
第6章 总结与展望第60-62页
   ·总结第60-61页
   ·展望第61-62页
参考文献第62-65页
致谢第65-66页
攻读硕士学位期间的研究成果第66页

论文共66页,点击 下载论文
上一篇:基于机器视觉的玻璃质量在线检测系统研究
下一篇:东盟一体化对中国对外贸易的影响--基于多边贸易视角