首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
净室软件工程(Cleanroom)是软件开发的一种形式化方法,可以开发较高质量的软件。它使用(91)进行分析和建模,并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。
净室软件工程(Cleanroom)是软件开发的一种形式化方法,可以开发较高质量的软件。它使用(91)进行分析和建模,并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。
admin
2009-05-15
69
问题
净室软件工程(Cleanroom)是软件开发的一种形式化方法,可以开发较高质量的软件。它使用(91)进行分析和建模,并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。
选项
A、产生式归约
B、移进归约
C、盒结构归约
D、规范归约
答案
C
解析
转载请注明原文地址:https://kaotiyun.com/show/fLLZ777K
本试题收录于:
系统分析师上午综合知识考试题库软考高级分类
0
系统分析师上午综合知识考试
软考高级
相关试题推荐
关闭应用程序时,可以使用快捷键()。A.alt+f1 B.alt+f2 C.alt+f3 D.alt+f4
PPoint中,设置幻灯片切换方式将弹出“幻灯片切换”对话框,对该对话框描述错误的是()。A.“全部应用”按钮表示每张幻灯片的切换都使用设置的切换方式B.“应用”按钮表示仅在当前幻灯片切换时,使用设置的切换方式C.效果区中的下拉列表框中提供了多种
在计算机网络中,错误的说法是()。
在Excel97的某单元格内输入了一个公式后,单元格的显示为“#######”,这是由于()。A.所得结果没有意义B.所得结果长度超过了列宽C.公式输入有误D.所得结果被隐藏
在PPoint中,幻灯片配色方案是用于演示文稿的()种协调色的集合。A.5B.6C.7D.8
Excel工作表的一个单元格含有多个特性,如格式、内容、批注等等,复制数据时,常常只需复制其部分特性,这可通过()来实现。A.部分粘贴B.部分复制C.选择性粘贴D.选择性复制
在计算机中的一切有形部分,所有看得见摸得着的部分称为()。A.硬件 B.裸机 C.软件 D.完整的计算机
internet的通信协议是()协议。
在桌面上已经打开了写字板窗口中利用动态键盘输入数学符号“±∑”。
请使用“复制”与“粘贴”方法,向销售情况图表中添加各地区四月份销售情况。
随机试题
腹部叩及移动性浊音,标志腹水量在
骨折后约2周可初步完成
鉴别慢性粒细胞白血病与类白血病反应,首选试验是
A.乳痈B.乳癖C.乳岩D.乳疬E.乳核好发于20~25岁青年妇女的乳房良性肿瘤是
制冷机房应尽量靠近冷负荷中心布置,()机房还应尽量靠近热源。
张某赠给5岁的小明一部手机,则该合同属于()
这是一个技师能够解决的问题。
计算机网络最突出的优点是()。
Istheliterarycriticlikethepoet,respondingcreatively,intuitively,subjectivelytothewrittenwordasthepoetresponds
Two-thirdsofAmericansareoverweightorobese.Developingcountriesarecatchingup.InChinanearly30%ofadultsaretoowid
最新回复
(
0
)