| 第1章 引言 | 第1-14页 |
| 1．1 软件开发方法 | 第5-7页 |
| 1．1．1 软件生命周期法 | 第5-6页 |
| 1．1．2 原型法 | 第6-7页 |
| 1．2 面向对象技术 | 第7-9页 |
| 1．3 形式化方法（Formal Method） | 第9-14页 |
| 第2章 UML与RAISE | 第14-33页 |
| 2．1 UML | 第14-18页 |
| 2．1．1 UML概貌 | 第14-17页 |
| 2．1．2 UML的特点和用途 | 第17-18页 |
| 2．2 RAISE（Rigorous Approach tO Industry Software Engineering） | 第18-33页 |
| 2．2．1 RSL的规约能力 | 第19-23页 |
| 2．2．2 RAISE开发方法 | 第23-27页 |
| 2．2．3 使用RAISE进行规约和验证 | 第27-33页 |
| 第3章 UML和RAISE结合的FDOOM方法 | 第33-49页 |
| 3．1 UML与RAISE的模型关系 | 第34-44页 |
| 3．1．1 表示UML的对象类 | 第34-38页 |
| 3．1．2 表示UML对象类的泛化／特化关系 | 第38-40页 |
| 3．1．3 表示UML对象类的关联关系 | 第40-42页 |
| 3．1．4 表示UML聚集关系 | 第42-44页 |
| 3．2 将UML和RAISE结合起来的开发方法 | 第44-46页 |
| 3．3 模型转换 | 第46-49页 |
| 3．3．1 Scheme声明的处理 | 第46页 |
| 3．3．2 Type声明的处理 | 第46-47页 |
| 3．3．3 Object声明 | 第47页 |
| 3．3．4 模块嵌套 | 第47-49页 |
| 第4章 开发实例 | 第49-57页 |
| 4．1 初始需求描述 | 第49页 |
| 4．2 使用UML建立基本模型 | 第49-50页 |
| 4．3 初始形式化规范 | 第50-54页 |
| 4．4 精化的规范 | 第54-56页 |
| 4．5 产生精化的UML模型 | 第56-57页 |
| 第5章 结论和进一步的工作 | 第57-58页 |
| 致谢 | 第58-59页 |
| 参考文献 | 第59-61页 |