多视点需求工程的形式化方法研究
| 中文摘要 | 第1-6页 |
| ABSTRACT | 第6-9页 |
| 第1章 绪论 | 第9-16页 |
| ·需求工程简介 | 第9-12页 |
| ·多视点需求工程 | 第12页 |
| ·多视点需求工程的现状和发展 | 第12-14页 |
| ·本文主要的内容组织和创新 | 第14-16页 |
| 第2章 视点 | 第16-29页 |
| ·视点及多视点 | 第16-17页 |
| ·多视点需求分析方法 | 第17-24页 |
| ·视点模板 | 第18-21页 |
| ·视点描述 | 第21-24页 |
| ·视点代理的概念 | 第24-29页 |
| ·多视点代理的集成 | 第26-27页 |
| ·基语言的语法及模型 | 第27-29页 |
| 第3章 视点需求形式化方法描述 | 第29-38页 |
| ·Z语言介绍 | 第29-30页 |
| ·基于UML用例图的视点需求描述 | 第30-32页 |
| ·UML用例图 | 第30-31页 |
| ·UML用例图的形式化规范 | 第31-32页 |
| ·UML状态图的形式化 | 第32-38页 |
| ·UML状态图 | 第33-34页 |
| ·对迁移模式的形式化 | 第34-38页 |
| 第4章 Z语言描述需求说明的应用 | 第38-50页 |
| ·物资管理系统介绍 | 第38-40页 |
| ·物资管理系统的Z语言定义描述 | 第40页 |
| ·管理物料大类 | 第40-42页 |
| ·需用计划 | 第42-45页 |
| ·需用计划用例图 | 第42-43页 |
| ·需用计划书数据实体类图 | 第43-45页 |
| ·Z语言详细描述物资管理系统 | 第45-50页 |
| 第5章 视点代理 | 第50-58页 |
| ·实例分析 | 第50-53页 |
| ·基语言的应用 | 第53-56页 |
| ·关于视点代理的讨论 | 第56-58页 |
| 第6章 基于 Z语言的需求环境设计 | 第58-65页 |
| ·引言 | 第58页 |
| ·环境特征 | 第58-59页 |
| ·设计原则 | 第59页 |
| ·模块设计 | 第59-62页 |
| ·开发过程 | 第62-65页 |
| 第七章 总结 | 第65-66页 |
| 参考文献 | 第66-69页 |
| 致谢 | 第69页 |
