高级软件工程第5章形式化开发方法1Petri网定义

- 形式化方法分类 1. 根据说明目标软件系统的方式，可以分为两类： 　 1) 面向模型的形式化方法 通过构造一个数学模型来说明系统的行为。 　 2) 面向属性的形式化方法