| 提要 | 第5-6页 |
| 摘要 | 第6-9页 |
| Abstract | 第9-11页 |
| 第1章 绪论 | 第15-29页 |
| 1.1 研究背景 | 第15-20页 |
| 1.1.1 软件开发中的问题 | 第15-17页 |
| 1.1.2 软件需求工程 | 第17-19页 |
| 1.1.3 需求工程中需要解决的问题 | 第19-20页 |
| 1.2 相关工作 | 第20-26页 |
| 1.2.1 需求形式化描述方法及 Tabular 表达式 | 第20-22页 |
| 1.2.2 需求完整性、一致性验证 | 第22-25页 |
| 1.2.3 需求变更影响分析 | 第25-26页 |
| 1.3 本文主要工作 | 第26-27页 |
| 1.4 本文的组织结构 | 第27-29页 |
| 第2章 面向方面文档驱动需求方法 | 第29-35页 |
| 2.1 面向方面需求工程 | 第29-30页 |
| 2.2 文档驱动需求方法 | 第30-32页 |
| 2.3 面向方面文档驱动需求方法 | 第32-35页 |
| 第3章 Tabular 表达式的指称语义 | 第35-53页 |
| 3.1 Tabular 表达式 | 第35-36页 |
| 3.2 基本定义 | 第36-37页 |
| 3.3 Tabular 表达式的语义 | 第37-40页 |
| 3.4 传统类型 Tabular 表达式的语义 | 第40-47页 |
| 3.4.1 正规函数表 | 第40-42页 |
| 3.4.2 反转函数表 | 第42-43页 |
| 3.4.3 向量函数表 | 第43-45页 |
| 3.4.4 谓词表达式表 | 第45-46页 |
| 3.4.5 决策表 | 第46-47页 |
| 3.5 扩展类型 Tabular 表达式的语义 | 第47-51页 |
| 3.5.1 冗余信息表 | 第48-49页 |
| 3.5.2 循环表 | 第49-51页 |
| 3.6 Tabular 表达式语义描述方法的比较 | 第51-52页 |
| 3.7 本章小结 | 第52-53页 |
| 第4章 基于 Tabular 表达式的需求文档定义方法 | 第53-69页 |
| 4.1 基于 Taular 表达式定义 4-变量模型的方法 | 第53-58页 |
| 4.1.1 4-变量模型的形式化描述 | 第54-56页 |
| 4.1.2 需求文档的验证 | 第56-58页 |
| 4.2 应用实例 | 第58-64页 |
| 4.2.1 SLCS 需求的 4-变量模型 | 第58-64页 |
| 4.3 软件系统的可接受性验证 | 第64-66页 |
| 4.4 相关工作比较 | 第66-67页 |
| 4.5 本章小结 | 第67-69页 |
| 第5章 面向方面需求模型的分析与验证方法 | 第69-89页 |
| 5.1 关注点模型建立过程中的验证 | 第69-73页 |
| 5.1.1 关注点模型的获取方法 | 第69-70页 |
| 5.1.2 建模过程中的验证策略 | 第70-73页 |
| 5.2 基于本体的关注点模型定义及验证方法 | 第73-78页 |
| 5.2.1 基于本体的关注点模型 | 第73-77页 |
| 5.2.2 关注点模型到基于本体的关注点模型的映射及验证 | 第77-78页 |
| 5.3 工具实现 | 第78-81页 |
| 5.3.1 JenaAPI | 第78-79页 |
| 5.3.2 程序结构 | 第79-80页 |
| 5.3.3 主要模块的实现细节 | 第80-81页 |
| 5.4 实例分析 | 第81-86页 |
| 5.5 相关工作比较 | 第86-87页 |
| 5.6 本章小结 | 第87-89页 |
| 第6章 需求变更影响分析 | 第89-107页 |
| 6.1 基于关注点的影响分析 | 第89-92页 |
| 6.1.1 关注点波及影响范围的界定方法 | 第90-91页 |
| 6.1.2 关注点影响的量化算法 | 第91-92页 |
| 6.2 基于变量的影响分析 | 第92-97页 |
| 6.2.1 变量与关注点的关系描述 | 第92-93页 |
| 6.2.2 变量波及影响范围界定 | 第93-96页 |
| 6.2.3 变量影响的量化算法 | 第96-97页 |
| 6.3 实例分析 | 第97-103页 |
| 6.3.1 关注点变更波及影响 | 第98-100页 |
| 6.3.2 变量变更波及影响 | 第100-103页 |
| 6.4 相关工作比较 | 第103-104页 |
| 6.5 本章小结 | 第104-107页 |
| 第7章 总结与展望 | 第107-111页 |
| 7.1 总结 | 第107-108页 |
| 7.2 展望 | 第108-111页 |
| 参考文献 | 第111-119页 |
| 作者简介及在学期间所取得的科研成果 | 第119-121页 |
| 致谢 | 第121页 |
