| 序言 | 第1-7页 |
| 第一章 统一模型语言UML和Use Case图 | 第7-20页 |
| 1．1 关于统一建模语言UML | 第7-11页 |
| 1．2 Use Case图 | 第11-18页 |
| 1．3 小结 | 第18-20页 |
| 第二章 形式化方法和Z语言 | 第20-28页 |
| 2．1 关于形式化方法 | 第20-26页 |
| 2．2 Z语言 | 第26-27页 |
| 2．3 小结 | 第27-28页 |
| 第三章 Use Case图的形式化 | 第28-35页 |
| 3．1 形式化符号的说明与约定 | 第28-29页 |
| 3．2 Use Case模式中类的表示 | 第29页 |
| 3．3 Use Case模式中关系的表示 | 第29-30页 |
| 3．4 Use Case模式中函数的表示 | 第30页 |
| 3．5 Use Case图的形式化 | 第30-34页 |
| 3．5．1 角色的形式化描述 | 第30页 |
| 3．5．2 Use Case的形式化描述 | 第30-33页 |
| 3．5．3 系统的形式化说明 | 第33页 |
| 3．5．4 Use Case图形式化描述 | 第33-34页 |
| 3．6 小结 | 第34-35页 |
| 第四章 图书馆信息系统中Use Case图的形式化 | 第35-48页 |
| 4．1 图书馆信息系统的Use Case图 | 第35-36页 |
| 4．2 角色的形式化描述 | 第36-37页 |
| 4．3 Use Case RemoveReservation的形式化描述 | 第37-39页 |
| 4．4 Use Case LendItem的形式化描述 | 第39-45页 |
| 4．5 系统的形式化描述 | 第45-46页 |
| 4．6 图书馆信息系统Use Case图的形式化描述 | 第46-47页 |
| 4．7 小结 | 第47-48页 |
| 第五章 总结与展望 | 第48-49页 |
| 致谢 | 第49-50页 |
| 参考文献 | 第50-51页 |
