專用過程模型

專用過程模型是指只是用於某些特定的軟體工程方法。包括基於構件的開發模型、形式化方法模型、面向方面的軟體開發模型。

基本介紹

• 中文名：專用過程模型
• 外文名：Special process model
• 類型：經濟術語

特點介紹

形式化方法是採用嚴格的數學表示體系來說明、開發和驗證軟體系統。

形式化模型能夠消除其他過程模型中難以克服的二義性、不完整性和不一致性等問題。經過數學分析發現和糾正模型中存在的問題。

缺點

用形式化模型開發軟體目前比較費時和昂貴。

形式化方法對開發者要求較高，培訓量大。

開發者和一般用戶較難溝通。