核心內容
軟體工程方法是軟體工程學科的核心內容,從60年代末以來,出現了許多軟體工程方法,其中最具影響的是結構化方法、面向對象方法和形式化方法。
結構化方法
結構化方法也稱為生命周期方法學或結構化范型。將軟體生命周期的全過程依次劃分為若干個階段,採用結構化技術來完成每個階段的任務。特點:(1) 強調自頂向下順序地完成軟體開發的各階段任務; (2) 結構化方法要么面向行為,要么面向數據,缺乏使兩者有機結合的機制。
面向對象方法是將數據和對數據的操作緊密地結合起來的方法。軟體開發過程是多次反覆疊代的演化過程。 面向對象方法在概念和表示方法上的一致性,保證了各項開發活動之間的平滑過渡。對於大型、複雜及互動性比較強的系統,使用面向對象方法更有優勢。
形式化方法是一種基於形式化數學變換的軟體開發方法,它可將系統的規格說明轉換為可執行的程式。該過程的具體描述如圖所示。