軟體工程方法

軟體工程方法是軟體工程學科的核心內容，從60年代末以來，出現了許多軟體工程方法，其中最具影響的是結構化方法、面向對象方法和形式化方法。

結構化方法也稱為生命周期方法學或結構化范型。將軟體生命周期的全過程依次劃分為若干個階段，採用結構化技術來完成每個階段的任務。特點：(1) 強調自頂向下順序地完成軟體開發的各階段任務; (2) 結構化方法要麼面向行為，要麼面向數據，缺乏使兩者有機結合的機制。

面向對象方法是將數據和對數據的操作緊密地結合起來的方法。軟體開發過程是多次反覆迭代的演化過程。面向對象方法在概念和表示方法上的一致性，保證了各項開發活動之間的平滑過渡。對於大型、複雜及交互性比較強的系統，使用面向對象方法更有優勢。

形式化方法是一種基於形式化數學變換的軟體開發方法，它可將系統的規格說明轉換為可執行的程序。該過程的具體描述如圖所示。