《软件工程 Software Engineering》教学资源：课程教学大纲

上海交通大学：《软件测试与质量控制》课程教学资源（课件讲稿）chapter 1 Introduction of software testing

4.1 Non-execution based Verification 4.2 Execution based Verification 4.3 Formal verification 4.4 Other methods

上海交通大学：《软件测试与质量控制》课程教学资源（课件讲稿）第2章 Prerequisites Mathematics knowledge of software test

《软件工程概论》课程教学资源（参考资料）Guide to the Software Engineering Body of Knowledge（SWEBOK）Version 3.0

南京大学：《面向对象技术 OOT》课程教学资源（教材电子版）Object-Oriented Software Construction（SECOND EDITION, Bertrand Meyer）

南京大学：《面向对象技术 OOT》课程教学资源（教材电子版）28 The software construction process

Part 1: OO基础  OO基本原理  Design by Contract  异常处理；并发对象；持久对象 Part 2: OO设计原则和设计模式  敏捷软件开发方法  OO设计原则  OO设计模式  应用框架技术  AOP

西安石油大学：《软件工程 Software Engineering》课程教学资源（分析与设计案例）面向对象（OO）会议管理系统案例

西安石油大学：《软件工程 Software Engineering》课程教学资源（分析与设计案例）医院病房监护系统案例（面向对象）