| 第一章 绪论 | 第1-10页 |
| ·研究背景 | 第7-8页 |
| ·本文工作和相关研究动态 | 第8-9页 |
| ·本文主要结构 | 第9-10页 |
| 第二章 软件体系结构求精方法 | 第10-15页 |
| ·基于行为替代的体系结构求精方法 | 第11页 |
| ·基于风格的体系结构求精方法 | 第11-12页 |
| ·基于构件的体系结构求精方法 | 第12-14页 |
| ·本章小结 | 第14-15页 |
| 第三章 基于UML 和Z 的软件体系结构求精方法 | 第15-31页 |
| ·统一建模语言UML | 第15-17页 |
| ·形式化方法与Z 语言 | 第17-25页 |
| ·形式化方法的源流 | 第17-19页 |
| ·形式化方法的主要研究内容 | 第19-21页 |
| ·形式规范 | 第19-20页 |
| ·形式验证 | 第20-21页 |
| ·形式化方法应用前景 | 第21-22页 |
| ·形式化描述语言Z | 第22-25页 |
| ·UML 和Z 结合的软件体系结构求精方法 | 第25-30页 |
| ·求精方法 | 第25-26页 |
| ·UML 类图元素的语法定义 | 第26-30页 |
| ·类 | 第26-28页 |
| ·关联 | 第28-30页 |
| ·类图 | 第30页 |
| ·本章小结 | 第30-31页 |
| 第四章 计算机远程教学系统的求精过程 | 第31-54页 |
| ·需求分析 | 第31页 |
| ·UML 用例图 | 第31-32页 |
| ·UML 类图 | 第32-33页 |
| ·数据求精 | 第33-39页 |
| ·操作求精 | 第39-43页 |
| ·体系结构求精 | 第43-53页 |
| ·本章小结 | 第53-54页 |
| 第五章 企业人员薪金管理系统的求精过程 | 第54-80页 |
| ·需求分析 | 第54页 |
| ·UML 用例图 | 第54-55页 |
| ·UML 类图 | 第55页 |
| ·数据求精 | 第55-63页 |
| ·操作求精 | 第63-69页 |
| ·体系结构求精 | 第69-79页 |
| ·本章小结 | 第79-80页 |
| 第六章 相关工作介绍与比较 | 第80-82页 |
| 结论 | 第82-83页 |
| 参考文献 | 第83-88页 |
| 攻读硕士学位期间参加的科研项目和发表(录用)的论文 | 第88-89页 |
| 致谢 | 第89-90页 |
| 硕士专业学位论文详细摘要 | 第90-92页 |