首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
净室软件工程(Cleanroom)是软件开发的一种形式化方法,可以开发较高质量的软件。它使用(91)进行分析和建模,并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。
净室软件工程(Cleanroom)是软件开发的一种形式化方法,可以开发较高质量的软件。它使用(91)进行分析和建模,并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。
admin
2009-05-15
52
问题
净室软件工程(Cleanroom)是软件开发的一种形式化方法,可以开发较高质量的软件。它使用(91)进行分析和建模,并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。
选项
A、产生式归约
B、移进归约
C、盒结构归约
D、规范归约
答案
C
解析
转载请注明原文地址:https://kaotiyun.com/show/fLLZ777K
本试题收录于:
系统分析师上午综合知识考试题库软考高级分类
0
系统分析师上午综合知识考试
软考高级
相关试题推荐
在Word的编辑中,若要在文档中选定较长的内容,可先将光标定位于起始位置,然后在单击结束位置时,必须同时按下的键是()。A.ShiftB.CtrlC.AltD.空格键
被编辑的文档在屏幕上的显示方式与打印方式相同的称为()。
windows应用程序窗口中的某一菜单中的某条命令被选中后,则出现一对话框,则该命令有()特点。A.后跟“…”B.前有“√”C.呈灰色D.后跟三角形符号
若需长期保存输入的信息,则以文件的形式存在微机的()中。A.外存B.内存C.控制器D.显示器
常说的计算机是486.586.686等指的是()。A.cpu的型号B.计算机中cpu的价格C.内存储器的容量D.cpu的执行速度
计算机存储器容量的基本单位()。
请为演示文稿添加自定义数字签名,名称为“tianyu”,目的为“加密”。
将“第l章集合与函数的概念”的内容折叠,只显示章标题。
下列哪个设备不属于Cisco智能商业通信系统?A、用于小型企业的Cisco统一通信500系列设备B、Cisco统一IP电话C、Cisco4402WLAN控制器D、Cisco521无线ExpressAP
随机试题
紫外线热辐射对焊工有何危害?
简述物料需求计划(MRP)系统编制和运行生产计划的依据。
病人心悸,头晕乏力,面色无华,神疲倦怠,舌质淡红,脉象细弱,治疗最佳方剂为
中老年期心理卫生重点主要在于帮助中老年人
患者,男性,58岁。进行性贫血,消瘦、乏力半年,有时右腹隐痛,无腹泻。查体:右中腹部扪及肿块,肠鸣音活跃。如果需要手术治疗,术前准备最重要的是
对于不动产统一登记的“四统一”主要是()。
施工单位是平安工地建设的实施主体。当项目安全生产条件发生变化时,应当及时向()提出复核申请。
茅盾,原名沈德鸿,代表作有长篇小说《林家铺子》,短篇小说《子夜》。()
—Wow!I’veburntmyself!—Howdidyoudothat?—I______ahotpot.
A、Theyarechangedtomakethesitemoreinteresting.B、Theyareexpandedtolimittheamountofconstruction.C、Theyareintegr
最新回复
(
0
)