属于形式化开发方法的是()
A.结构化开发方法
B.Jackson开发方法
C.维也纳开发方法
D.面向对象开发方法
A.结构化开发方法
B.Jackson开发方法
C.维也纳开发方法
D.面向对象开发方法
净室软件工程(Cleanroom)是软件开发的一种形式化方法,可以开发较高质量的软件。它使用(91)进行分析和建模,并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。
A.产生式归约
B.移进归约
C.盒结构归约
D.规范归约
净室软件工程是软件开发的一种 (24) 方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将 (25) 作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。
(24)
A.形式化
B.迭代式
C.瀑布式
D.交互式
(24)
A.形式化
B.迭代式
C.瀑布式
D.交互式
(25)
A.测试
B.仿真
C.实验
D.正确性验证
(1)
A.结构化方法与原型法的组合应用
B.结构化方法与面向对象方法的组合应用
C.原型法与面向对象方法的组合应用
D.原型法与形式化方法的组合应用
A.该业务变更属于会计政策变更
B.资本化开发费用的计税基础为2100万元
C.资本化开发费用形成可抵扣暂时性差异
D.资本化开发费用应确认递延所得税资产225万元
(23)
A. 瀑布
B. 快速应用开发(RAD)
C. 螺旋
D. 形式化方法
基于构件的开发(CBD)模型,融合了______模型的许多特征。该模型本质是演化的,采用迭代方法开发软件。
A.瀑布
B.快速应用开发(RAD)
C.螺旋
D.形式化方法
基于构件的开发(CBD)模型,融合了(144)模型的许多特征。该模型本质是演化的,采用迭代方法开发软件。
A.瀑布
B.快速应用开发(RAD)
C.螺旋
D.形式化方法