單項(xiàng)選擇題

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

你可能感興趣的試題

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

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