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

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


您可能感興趣的試卷

你可能感興趣的試題

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

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

2.單項選擇題演進式軟件過程模型（）

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

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

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

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

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

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

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