试题详情
- 判断题程序的静态验证是利用数学方法证明程序的正确性。
- 错误
关注下方微信公众号，在线模考后查看
热门试题
- 哪两个是识别服务的一部分。（）
- 接收事务处理系统收集的信息并为管理人员生
- 可行性研究主要从哪几个方面考察，简述其内
- 不是常用的结构化决策中决策规则的表示方法
- 信息和管理相同，分为三个等级，它们分别是
- 描述处理逻辑的工具有决策树、决策表和（）
- 项目人员的组织方式有哪些，各有什么优缺点
- 目前，网络计算模式主要有两种：以（）为中
- 信息系统的开发过程，可以分成为（）、细化
- 下面哪些选项是项目的特征？（）
- （）是相互联系、相互作用的部件集合。其收
- 程序的编写要简单，直截了当地说明用户的需
- 说明数据、信息与知识之间的相互关系，它们
- 系统分析的主要活动有：（）、（）研究、系
- 人一机接口设计的内容包括输出设计、输入设
- 程序设计的基本结构有三种，它们是顺序结构
- 决策制定过程的四个阶段是（）、（）、（）
- （）用以确定系统中所有处理结点的图表或地
- 下面关于黑盒测试的描述中，不正确的是（）
- “建立企业信息系统应该遵循自上而下地规划