A、獲得基本需求 B、開(kāi)發(fā)工作模型 C、嚴(yán)格細(xì)致說(shuō)明 C、模型驗(yàn)證
A、Petri網(wǎng)是對(duì)離散并行系統(tǒng)的數(shù)學(xué)表示 B、Petri網(wǎng)能夠表達(dá)并發(fā)的事件 C、Petri網(wǎng)通常被描述為一張有向圖 D、Petri網(wǎng)中事件到來(lái)就被激發(fā)
A.只有經(jīng)過(guò)測(cè)試和確認(rèn)的軟件版本才能在組織內(nèi)部使用 B.DSL的負(fù)責(zé)人有權(quán)決定哪些軟件可以在組織內(nèi)部使用 C.用戶(hù)可以從那些收到質(zhì)量控制并通過(guò)認(rèn)證的軟件中選擇 D.更多的軟件版本可以提供給用戶(hù)