你可能感興趣的試題

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)

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