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

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


您可能感興趣的試卷

你可能感興趣的試題

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

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

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

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

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

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

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

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

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

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