基于演化构件的形式化需求分析方法研究与应用
| 中文摘要 | 第1页 |
| 英文摘要 | 第3-7页 |
| 第一章 绪论 | 第7-14页 |
| ·选题背景及意义 | 第7-8页 |
| ·国内外研究现状 | 第8-12页 |
| ·方法学 | 第8页 |
| ·需求工程方法 | 第8-11页 |
| ·需求规格 | 第11页 |
| ·当前需求工程开发方法的几点探索 | 第11-12页 |
| ·本文的主要研究内容 | 第12-13页 |
| ·小结 | 第13-14页 |
| 第二章 相关知识及理论 | 第14-32页 |
| ·需求分析综述 | 第14-23页 |
| ·需求分析对于软件开发的重要性 | 第14页 |
| ·软件需求的分类及需求分析的原则 | 第14-16页 |
| ·需求分析过程 | 第16-21页 |
| ·软件需求的获取与分析 | 第16-17页 |
| ·功能需求建模 | 第17-18页 |
| ·非功能需求建模 | 第18-20页 |
| ·需求验证与审查 | 第20-21页 |
| ·需求管理 | 第21-23页 |
| ·构件技术 | 第23-29页 |
| ·构件技术概述 | 第23-24页 |
| ·构件模型 | 第24-26页 |
| ·构件库 | 第26-29页 |
| ·形式化方法及其理论 | 第29-31页 |
| ·形式化方法概念 | 第29页 |
| ·形式化方法的分类 | 第29-30页 |
| ·形式化方法的优点及开发过程 | 第30-31页 |
| ·有关形式化方法的争议和评价 | 第31页 |
| ·小结 | 第31-32页 |
| 第三章 演化构件与软件演化 | 第32-45页 |
| ·演化构件定义及理论模型 | 第32-33页 |
| ·演化构件的定义 | 第32页 |
| ·演化构件理论模型 | 第32-33页 |
| ·演化构件的合成关系 | 第33-35页 |
| ·聚合关系(Aggregation) | 第33页 |
| ·泛化关系(Generalization) | 第33-34页 |
| ·协作关系(Collaboration) | 第34页 |
| ·调用关系(Call) | 第34-35页 |
| ·依赖关系(Dependency) | 第35页 |
| ·演化构件的技术模型及其关系运算 | 第35-40页 |
| ·技术模型 | 第35页 |
| ·演化构件的关系运算 | 第35-37页 |
| ·演化构件关系图 | 第37-40页 |
| ·定义 | 第37-38页 |
| ·性质 | 第38-39页 |
| ·ECD 到构件关系表达式的转换 | 第39-40页 |
| ·软件演化 | 第40-44页 |
| ·软件演化的分类 | 第41页 |
| ·基于演化构件的软件演化 | 第41-42页 |
| ·软件演化中的波及效应和构件贡献度 | 第42-44页 |
| ·基本定义 | 第43页 |
| ·软件静态演化中基本活动与波及影响 | 第43-44页 |
| ·小结 | 第44-45页 |
| 第四章 基于演化构件的形式化需求分析 | 第45-67页 |
| ·形式化需求分析方法概述 | 第45-48页 |
| ·形式化的软件系统需求建模方法 | 第45-47页 |
| ·Z 简介 | 第47-48页 |
| ·基于EC 的需求级构件模型及其描述 | 第48-55页 |
| ·需求获取 | 第48-53页 |
| ·Use Case(用例) | 第48页 |
| ·UCM | 第48-49页 |
| ·MSC(消息序列图) | 第49-53页 |
| ·需求演化 | 第53-55页 |
| ·需求演化的含义与分类 | 第53页 |
| ·需求演化跟踪器 | 第53-54页 |
| ·基于EC 的形式化需求分析建模方法 | 第54-55页 |
| ·需求演化跟踪器的设计与实现 | 第55-62页 |
| ·目标 | 第55-56页 |
| ·设计原则 | 第56页 |
| ·RE-Tracker 系统结构与设计 | 第56-61页 |
| ·系统实现 | 第61-62页 |
| ·实例分析 | 第62-66页 |
| ·集中控水系统简介 | 第62页 |
| ·需求级构件关系图分析 | 第62-64页 |
| ·消息序列图语义验证 | 第64-66页 |
| ·小结 | 第66-67页 |
| 第五章 结论 | 第67-69页 |
| 参考文献 | 第69-75页 |
| 致谢 | 第75-76页 |
| 在学期间发表的学术论文和参加科研情况 | 第76页 |
