《软件工程》阅读笔记之二

第五章：软件工程中的形式化方法。

　　　　形式化的基本概念（形式规约、形式证明与验证、程序求精），事态逻辑（一般线性事态逻辑、计算树逻辑），模型检验，Z语言的概念，表示，实例；Petri网的基本定义，规格实例（信号灯）。

第六章：面向对象基础。

　　面向对象方法概述（发展史，软件工程方法），面向对象基本概念（对象，类，封装，继承，消息，关联，聚合，多态性），软件建模，统一建模语言UML，常用UML图。

第七章：面向对象分析

　　　　概念（分析类，分析活动）。识别分析类（识别边界类，识别控制类，识别实体类），定义交互行为，分析类图

第八章：面向对象设计

　　　　设计活动，规则，软件体系结构，系统设计，详细设计，应用设计模式以及用户界面的设计，设计文档。