軟體過程模型
瀑布模型（1-2-3-4往復迴圈5自身迴圈）
需求定義與分析
軟體設計
軟體實現
軟體測試
軟體執行與維護
每一步向下執行之前都要向前執行一次
快速原型模型
使用者評估原型（新需求）
初步需求分析
快速設計
建造原型
開發產品
快速設計（新需求驅動）
增量模型
定義框架需求
設計體系結構
增量1 ~ 增量n ~ 最終交付
分析
設計
編碼
測試
交付
迴圈n次直到最終交付
螺旋模型
功能計劃：確定軟體功能，理清限制條件，制定研發方案
風險分析：評估研發方案，考慮如何識別和消除風險
專案生產：軟體開發、測試和部署
客戶反饋：工作覆盤，提出修正建議，制定下一步計劃。
形式化方法模型
將軟體需求描述提煉成採用數學符號表達的形式化描述
經過一系列的形式化轉換將形式化描述轉換成可執行程式
將整個系統整合起來測試
需求定義 ~ 形式化描述 ~ n次形式化轉換（邏輯嚴謹） ~ 整合和系統測試
基於元件的開發模型
需求定義
元件分析（在元件庫中選取元件）
需求修改
面向複用的系統設計
開發和整合
系統驗證
基於元件庫