有穷可以准确地描述一个系统,因此它是表达规格说明的一种形式化方法。
状态机
举一反三
- 用自然语言描述需求规格说明，是典型的（ ）。 A: 非形式化方法 B: 半形式化方法 C: 形式化方法 D: 数学方法
- 某种形式化方法描述系统的状态如何响应外部的信号进行推移的一种图形表示，它是（） A: 有穷状态机 B: Petri网 C: Z语言 D: 程序正确性证明
- 形式化是软件自动化发展的基础。形式化方法是将需求规格说明用______来描述。典型的有______及______。
- 用Z语言描述的、最简单的形式化规格说明包含（）。
- 数学模型是______ 的数学表达式，建立数学模型是分析、研究一个动态系统特性的前提，一个合理的数学模型应以 最简化的形式 ，准确地描述 系统的动态特性。建立系统数学模型的方法有两种，一种是______ ，另一种是______ 。
内容
- 0
原型化的优点是( )。 Ⅰ．原型化方法提供了一种有力的学习手段 Ⅱ．增进软件人员和用户对系统服务需求的理解 Ⅲ．原型化方法可以作为理解和确认软件需求规格说明的工具 Ⅳ．软件原型的最终版本，有的可以原封不动地成为产品 A: Ⅰ，Ⅱ，Ⅲ B: Ⅱ，Ⅲ C: Ⅲ，Ⅳ D: 全部
- 1
史铁生在《给盲人朋友》一文中表达了一个心声，它是（）
- 2
研究如何从形式化的规格说明推演出具体的面向计算机的程序代码的全过程，这个概念是指 A: 模型验证 B: 形式化规格说明 C: 形式化程序求精 D: 定理证明
- 3
《只有一个地球》一文中，作者使用了多种说明方法，因此，文章才能象。请指出下列句子各使用了哪种说明方法。
- 4
形式化方法模型是将数学方法用于（） A: 定义计算机系统的规格说明 B: 开发无错误的计算机系统 C: 验证计算机系统的正确性 D: 以上所有选项