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

基于构件的软件形式化开发方法研究与应用

摘要第1-4页
Abstract第4-10页
1 概述第10-32页
   ·引言第10-11页
   ·软件开发的主要模型第11-19页
     ·软件过程模型第11页
     ·瀑布模型(生命周期方法)第11-12页
     ·原型模型第12页
     ·RAD模型第12-13页
     ·演化软件过程模型第13-16页
     ·智能模型第16-17页
     ·第四代技术第17页
     ·形式化方法模型第17-19页
   ·软件开发方法第19-23页
     ·模块化方法(modular method)第20页
     ·结构化方法第20-21页
     ·面向数据结构方法第21页
     ·面向对象方法第21-22页
     ·可视化开发方法第22页
     ·敏捷软件开发方法第22-23页
   ·基于构件的软件开发方法第23-30页
     ·构件的概念第23-24页
     ·基于构件的软件开发方法第24-27页
     ·构件的描述与分类第27-29页
     ·构件检索方法第29-30页
     ·构件描述与检索方法的发展趋势第30页
   ·本文的研究内容及论文安排第30-32页
     ·研究内容第30-31页
     ·论文的安排第31-32页
2 基于XML的构件库管理框架与信息系统集成平台的研究第32-53页
   ·软件构件重用方法第32-38页
     ·构件的特点第32-33页
     ·构件的形式化描述第33-35页
     ·构件组装第35-37页
     ·构件库管理中的关键问题第37-38页
   ·基于XML的构件库管理框架的研究与实现第38-47页
     ·XML技术简介第39页
     ·基于XML技术的构件库描述方法第39-41页
     ·基于XML的构件描述第41-43页
       ·构件库管理框架的具体实现第43-47页
   ·基于构件和XML的信息系统集成平台的研究第47-52页
     ·基于构件和XML技术的信息系统框架分析与设计第48-49页
     ·基于构件和XML技术的信息系统开发集成步骤第49-50页
     ·实现实例第50-52页
   ·小结第52-53页
3 构件检索算法的研究第53-86页
   ·搜索算法概述第53页
   ·后缀数组排序算法第53-57页
     ·基本概念第54-55页
     ·算法的实现步骤第55页
     ·算法的实例及分析第55-56页
     ·结果对比第56-57页
     ·基于后缀数组的搜索第57页
   ·基于案例推理的构件检索方法第57-65页
     ·基于CBR和XML的构件检索框架第57-58页
     ·构件的案例知识表示第58-61页
     ·案例的检索和评估第61-64页
     ·计算案例相似度的递归算法实现第64-65页
   ·一种新的基于XML的索引机制第65-70页
     ·相关定义第65-66页
     ·相关工作第66页
     ·新的索引解决方案第66-69页
     ·实验结果分析第69-70页
   ·处理XML文档查询的高效结构连接方法第70-75页
     ·有关XML数据概念第71-72页
     ·结构连接算法第72-75页
     ·实验与分析第75页
   ·String B-tree在软件复用中的作用第75-80页
     ·关于String B-tree第76-77页
     ·参数化样式匹配第77-80页
   ·压缩域搜索算法研究第80-85页
     ·相关概念第80-83页
     ·BWT-Boyer-Moore压缩域搜索算法第83-84页
     ·实验结果与分析第84-85页
   ·小结第85-86页
4 基于构件复用的信息系统形式化开发方法研究第86-107页
   ·形式化需求分析方法第86-94页
     ·形式化需求分析步骤第86-87页
     ·形式化需求分析方法的有效途径第87页
     ·示例第87-90页
     ·功能需求的形式化描述与验证第90-94页
   ·信息系统形式化开发方法模型第94-96页
   ·企业功能划分和构件分类第96-99页
   ·框架的设计与实现第99-101页
   ·信息系统的动态集成和用户化第101-103页
   ·用户权限分配与动态授权方法第103-105页
     ·数据库的安全设计第103-104页
     ·设计方法第104-105页
   ·小结第105-107页
5 基于构件的信息系统集成框架的实现第107-129页
   ·框架实现概述第107页
   ·开发工具的选择第107-108页
     ·操作系统和编程环境的选择第107-108页
     ·数据库的选择第108页
   ·电力营销需求分析第108-115页
     ·电力企业营销机构设置第108-109页
     ·电力企业的营销业务流程第109-110页
     ·系统设计目标第110页
     ·系统的概要设计及模型描述第110-115页
   ·电力营销信息系统的实现机制第115-118页
     ·构件的设计和开发第115-116页
     ·构件库的XML描述第116-117页
     ·构件库的管理第117-118页
   ·电力营销信息系统集成框架平台的实现第118-128页
     ·系统菜单和框架界面的设计及说明第118-119页
     ·系统安全和权限管理第119-122页
     ·信息系统的动态组装第122-128页
     ·信息系统的用户化和二次开发第128页
   ·小结第128-129页
6 总结与展望第129-131页
   ·全文总结第129-130页
   ·工作展望第130-131页
致谢第131-132页
参考文献第132-140页
附录第140-141页

论文共141页,点击 下载论文
上一篇:喷漆机器人若干关键技术研究
下一篇:大气温度及气溶胶激光雷达探测技术研究