造價通
更新時間：2025.01.05
安全軟件工程的發(fā)展方向(下)

格式：pdf

大小：217KB

頁數(shù)： 5頁

‘電信交換》2003年 第 2期 ● 熱點技術(shù) 安全軟件工程的發(fā)展方向 (下) 高 林 三、安全軟件工程的方向 1．非形式化方法及形式化方法的進(jìn)一步集成 (1)非形式化符號向形式化模型的自動轉(zhuǎn)換 近來在軟件工程方面的研究明確地 強調(diào)：應(yīng)減少描述符與形式化方法間的差距，前者在軟件開發(fā)中得到了廣泛的應(yīng)用，而 后者具有強大的自動分析功能。例如，羅克威爾航空學(xué)通過對機檢形式化需求模型的分 析和仿真，發(fā)現(xiàn)飛行導(dǎo)航模式邏輯中潛在的錯誤許多是有效的。本文在最后提出未來工 作的方向之一是：·工程師們更希望關(guān)注圖形表示法’。將形式化方法與圖形設(shè)計分析工 具 (如故障樹)相結(jié)合，可以提高軟件分析水平 (故障樹在間隔邏輯中已被公式化)。也許形 式化方法與可視化編程環(huán)境的集成，使得改進(jìn)安全需求與實現(xiàn)驗證之間的關(guān)系成為可能。 表格化表示法是另一種非形式化的表示符，它已與更多的形式化符號和工

軟件工程方向基于課程群的實踐課教學(xué)改革

格式：pdf

大?。?span class="single-tag-height">142KB

頁數(shù)：

針對軟件工程專業(yè)3門基礎(chǔ)課程在實踐教學(xué)中存在的問題,探討實踐課程的改革方法,提出統(tǒng)一實踐課程的課程群建設(shè)思路,同時根據(jù)具體案例詳細(xì)闡述整合實踐課程的實施方案。

最新知識

軟件工程工程造價方向
點擊加載更多>>

相關(guān)問答

軟件工程工程造價方向
點擊加載更多>>
專題概述
軟件工程工程造價方向相關(guān)專題

分類檢索：