软件工程——形式化说明技术—04

一，概述

1，非形式化方法的缺点

2，形式化方法的优点

3，应用形式化方法的准则

二，有穷状态机

1，概念

2，例子

3，评价

三，Petri网

1，概念

2，例子

四，Z语言

1，简介

2，评价