|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2002年10 期
| 標(biāo)題 |
| 一種安全關(guān)鍵軟件系統(tǒng)的形式化開發(fā)模型(11 卷) |
| 英文標(biāo)題 |
| A Development Model for Safety Critical Software |
| 摘要 |
| 形式化方法的主要研究對象是計算機(jī)系統(tǒng)的設(shè)計和驗證。近年來，形式化方法的研究擴(kuò)展到計算機(jī)應(yīng)用系統(tǒng)的各個領(lǐng)域，尤其是安全關(guān)鍵系統(tǒng)。論述了形式化方法對安全關(guān)鍵軟件系統(tǒng)的作用，提出了一種安全關(guān)鍵軟件系統(tǒng)的形式化開發(fā)模型(Safety Critical Software Model—SCSM)，給出 |
| 作者 |
| 新聞作者:王海峰 張仲義 |
| 關(guān)鍵字 |
