造價通
更新時間：2025.06.01
軟件工程若干熱點技術(shù)發(fā)展現(xiàn)狀與展望

格式：pdf

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

頁數(shù)：

在1960年末軟件工程誕生,不斷的發(fā)展與進步使軟件工程成為計算機科學領域的一門綜合性和工程性的獨立的學科。信息產(chǎn)業(yè)和軟件產(chǎn)業(yè)的不斷發(fā)展使得軟件工程技術(shù)也將有進一步的創(chuàng)新與發(fā)展。根據(jù)軟件工程的發(fā)展不難看出,當前的研究以及未來的研究軟件工程的熱點技術(shù)還是主要集中于以下幾個方面,即軟件重用和軟件構(gòu)件技術(shù)、中間件和標準化等。本文闡述了以上幾個研究熱點技術(shù)的發(fā)展現(xiàn)狀,進而對軟件工程的未來發(fā)展進行了展望。

安全軟件工程的發(fā)展方向(下)

格式：pdf

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

頁數(shù)： 5頁

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

熱門知識

軟件工程發(fā)展展望

精華知識

軟件工程發(fā)展展望

最新知識

軟件工程發(fā)展展望
點擊加載更多>>

相關(guān)問答

軟件工程發(fā)展展望
點擊加載更多>>
專題概述
軟件工程發(fā)展展望相關(guān)專題

分類檢索：