技术文档规范化编写指南.pptVIP

软件工程导论（第6版）

清华大学出版社

第4章形式化说明技术

“十二五”普通高等教育本科国家级规划教材

张海藩，牟永敏编著

北京高等教育精品教材

21世纪软件工程专业规划教材

第1页

第4章

形式化说明技术

本章将介绍形式化技术在软件工程中有效的提升了开发的效率、改善了软件开发的质量、减少了开发费用。形式化的技术容易在软件的规约上获得一致性，它属于一种非常有效的交流方式。

描述系统性质的基于数学的技术

引言

第2页

主要内容

主要内容

4.1概述

4.2有穷状态机

4.3Petri网

4.4Z语言

第4章

形式化说明技术

第3页

主要内容

4.1概述

4.1概述

4.2有穷状态机

4.3Petri网

4.4Z语言

第4章

形式化说明技术

第4页

4.1.1非形式化方法的缺点

4.1概述

4.1.1非形式化方法的缺点

用自然语言书写的系统规格说明书，可能存在矛盾、二义性、含糊性、不完整性及抽象层次混乱等问题。

矛盾是指一组相互冲突的陈述。

二义性是指读者能够用不同方式了解的陈述。

含糊性

不完整性

抽象层次混乱是指在非常抽象的陈述中混进了某些关于细节的低层次陈述。

第4章

形式化说明技术

第5页

4.1概述

4.1.2形式化