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

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

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

第六章:面向对象基础。

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

第七章:面向对象分析

    概念(分析类,分析活动)。识别分析类(识别边界类,识别控制类,识别实体类),定义交互行为,分析类图

第八章:面向对象设计

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

 

你可能感兴趣的:(《软件工程》阅读笔记之二)