專用過程模型
出自 MBA智库百科(https://wiki.mbalib.com/)
專用過程模型(Special process model)
目錄[隱藏] |
專用過程模型是指只是用於某些特定的軟體工程方法。包括基於構件的開發模型、形式化方法模型、面向方面的軟體開發模型。
1.特點
形式化方法是採用嚴格的數學表示體系來說明、開發和驗證軟體系統。
形式化模型能夠消除其他過程模型中難以剋服的二義性、不完整性和不一致性等問題。經過數學分析發現和糾正模型中存在的問題。
2.缺點
用形式化模型開發軟體目前比較費時和昂貴。
形式化方法對開發者要求較高,培訓量大。
開發者和一般用戶較難溝通。