单选题

形式化方法模型是将数学方法用于()

A定义计算机系统的规格说明

B开发无错误的计算机系统

C验证计算机系统的正确性

D以上所有选项

正确答案

来源:www.examk.com

答案解析

相似试题
  • 简述建立对象的数学模型两种主要方法?

    简答题查看答案

  • 模型化就是为描述系统的构成和行为,对实体系统的各种因素进行适当筛选,用一定方式(数学、图像等)表达系统实体的方法。

    判断题查看答案

  • 以下哪种装配方法可用于创建,模型装配件?()

    多选题查看答案

  • 下列4种模型中,较为适合用于面向对象的开发方法的是()

    单选题查看答案

  • 顺序图着重于对象间消息传递的时间顺序,通信图着重于表达对象之间的静态链接关系。对系统模型通信图最好的方法是将顺序图转换成通信图。

    判断题查看答案

  • 从模型的形式来分,模型可以分为三大类:物理模型、数学模型和文字模型。

    判断题查看答案

  • 数据流图(DFD)是()方法中用于表示系统的逻辑模型的一种图形工具。

    单选题查看答案

  • 数据模型是将概念模型中的实体及实体间的联系表示成便于计算机处理的一种形式。数据模型一般有关系模型、层次模型和()。

    单选题查看答案

  • 在计算学科中,采用的数学方法,主要是离散数学的方法还是连续数学的方法,为什么?

    简答题查看答案