登陆题目详情
单选题 用于并发系统,解决定时问题的形式化方法是( )
学科：软件工程
时间：2023-05-10 09:27:05
相关题目
相关作业
题目1判断题
1968年软件工程概念在美国的一个国际会议正式提出.( )A. 对B. 错
题目2判断题
极限编程具有对变化和不确定性的更快速、更敏捷的反应特性.( )A. 对B. 错
题目3多选题
Rational 统一过程(RUP)核心支持工作流有( )A. 业务建模B. 项目管理C. 配置与变更管理D. 环境
题目4判断题
软件可行性也会考虑待开发软件是否会有质量问题. ( )A. 对B. 错
题目5单选题
数据字典最重要的用途是作为( )A. 设计阶段的工具B. 实现阶段的工具C. 分析阶段的工具D. 维护阶段的工具
题目6单选题
实体联系图,描述数据对象及数据对象之间的关系,是建立( )A. 数据模型的工具B. 功能模型的工具C. 行为模型的工具D. 静态模型的工具
题目7单选题
某种形式化方法描述系统的状态如何响应外部的信号进行推移的一种图形表示,它是( )A. 有穷状态机B. Petri网C. Z语言D. 程序正确性证明
题目8单选题
用于并发系统,解决定时问题的形式化方法是( )A. VDMB. Z语言C. Petri网D. 一阶线性时态逻辑
题目9单选题
高铁调用系统最适宜采用( )方法A. 有穷状态机B. Petri网C. Z语言D. 一阶线性时态逻辑
题目10单选题
模块的初始化工作和模块处理意外故障均属于( )A. 时间内聚B. 顺序内聚C. 功能内聚D. 逻辑内聚
下载 题海APP
拍照搜题更快捷
- 海量题库
- 无搜索限制
- 快捷拍照搜题
