軟件工程方法

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

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

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

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