單項(xiàng)選擇題形式化方法模型是將數(shù)學(xué)方法用于（）

A.定義計(jì)算機(jī)系統(tǒng)的規(guī)格說明
B.開發(fā)無錯誤的計(jì)算機(jī)系統(tǒng)
C.驗(yàn)證計(jì)算機(jī)系統(tǒng)的正確性
D.以上所有選項(xiàng)


您可能感興趣的試卷

你可能感興趣的試題

1.單項(xiàng)選擇題基于組件的開發(fā)模型（）

A.只適用于計(jì)算機(jī)硬件設(shè)計(jì)
B.不能支持可重用組件的開發(fā)
C.在面向?qū)ο蠹夹g(shù)獲得支持的情況下應(yīng)用得更好
D.增加了開發(fā)風(fēng)險(xiǎn)和成本

2.單項(xiàng)選擇題演進(jìn)式軟件過程模型（）

A.本質(zhì)上是迭代的
B.可以很容易適應(yīng)需求的變化
C.通常不會拋棄所產(chǎn)生的系統(tǒng)
D.以上所有選項(xiàng)

3.單項(xiàng)選擇題快速原型開發(fā)模型是（）

A.適用于客戶需求被明確定義的情況
B.適用于客戶需求難以清楚定義的情況
C.最適合于大規(guī)模團(tuán)隊(duì)開發(fā)的項(xiàng)目
D.很難產(chǎn)生有意義產(chǎn)品的一種冒險(xiǎn)模型

4.單項(xiàng)選擇題軟件開發(fā)的增量模型是（）

A.適用于需求被清晰定義的情況
B.一種需要快速構(gòu)造核心產(chǎn)品的好方法
C.最適合于大規(guī)模團(tuán)隊(duì)開發(fā)的項(xiàng)目
D.一種不適用于商業(yè)產(chǎn)品的創(chuàng)新模型

5.單項(xiàng)選擇題軟件開發(fā)的瀑布模型是（）

A.適用于需求被清晰定義的情況
B.一種需要快速構(gòu)造可運(yùn)行程序的好方法
C.最適合于大規(guī)模團(tuán)隊(duì)開發(fā)的項(xiàng)目
D.已不能用于現(xiàn)代環(huán)境的過時模型