有穷可以准确地描述一个系统,因此它是表达规格说明的一种形式化方法。
举一反三
- 用自然语言描述需求规格说明，是典型的（ ）。 A: 非形式化方法 B: 半形式化方法 C: 形式化方法 D: 数学方法
- 某种形式化方法描述系统的状态如何响应外部的信号进行推移的一种图形表示，它是（） A: 有穷状态机 B: Petri网 C: Z语言 D: 程序正确性证明
- 形式化是软件自动化发展的基础。形式化方法是将需求规格说明用______来描述。典型的有______及______。
- 用Z语言描述的、最简单的形式化规格说明包含（）。
- 数学模型是______ 的数学表达式，建立数学模型是分析、研究一个动态系统特性的前提，一个合理的数学模型应以 最简化的形式 ，准确地描述 系统的动态特性。建立系统数学模型的方法有两种，一种是______ ，另一种是______ 。