軟件方法學

軟件方法學(SoftWare Methodology)是以方法為研究對象的軟件學科。主要涉及指導軟件設計的原理和原則，以及基於這些原理、原則的方法和技術。狹義的也指某種特定的軟件設計指導原則和方法體系。不論何種含義，其關注的中心問題是如何設計正確的軟件和高效率地設計軟件。軟件方法學的目的是尋求科學方法的指導，使軟件開發過程“紀律化”，即要尋找一些規範的“求解過程”，把軟件開發活動置於堅實的理論基礎之上。軟件工程與軟件方法學的方法不同，軟件工程是側重於借鑑傳統工程學科，最終目的是把軟件生產變成一門製造工程。兩者之間的關係是軟件工程需要軟件方法學為依據和指導；方法學依賴於軟件工程，特別是環境工具來發揮實際效用。

從性質上看，軟件方法學有形式方法與非形式方法。形式方法是一種具有堅實數學基礎的方法，從而允許對系統和開發過程作嚴格處理和論證。非形式方法則不把嚴格性作為其主要着眼點。從適用範圍來看，有整體性方法與局部性方法，適用於軟件開發全過程的是整體性方法，自頂向下方法、自底向上方法、各種軟件自動化方法等均為整體性方法。適用於開發過程個別階段的為局部性方法，如適用於需求分析階段的各種需求分析方法，適用於設計階段的各種設計方法等。此外，由於程序設計方法的發展相對較為成熟，從而早在軟件方法學出現以前，就出現了程序設計方法學，它研究各類程序設計方法， 如過程式程序設計、 邏輯式程序設計、函數式程序設計、對象式(面向對象)程序設計、以及順序程序設計、併發程序設計、並行程序設計、分佈程序設計、可視程序設計、文化程序設計等等。

計算機軟件是由專業人員開發並長期維護的軟件產品，是指計算機系統中的程序、數據及其文檔。程序是計算任務的處理對象和處理規則的描述;文檔是為了便於瞭解程序所需的闡明性資料 ^[1]  。程序必須裝入機器內部才能工作 ，文檔一般是給人看的，不一定裝入機器。細言之，軟件一詞具有三層含義。一為個體含義，即指計算機系統中的程序及其文檔；二為整體含義，即指在特定計算機系統中所有上述個體含義下的軟件的總體。三為學科含義，即指在研究、開發、維護以及使用前述含義下的軟件所涉及的理論、方法、技術所構成的學科。在這種含義下，軟件宜稱為軟件學，但一般仍稱作軟件。軟件一詞源於程序，到了20 世紀60 年代初期 ，人們逐漸認識到和程序有關的文檔的重要性，從而出現了軟件一詞。軟件是用户與硬件之間的接口界面。要使用計算機，就必須編制程序， 必須有軟件。用户主要是通過軟件與計算機進行交往。軟件是計算機系統設計的重要依據。為了方便用户，為了使計算機系統具有較高的總體效用，在設計計算機系統時，必須通盤考慮軟件與硬件的結合，以及用户的要求和軟件的要求。發展計算機科學技術，軟件和硬件都是不可缺少的重要方面。二者既有分工，又有配合。軟件的發展以硬件為基礎，其發展也促進了硬件、計算機科學技術、 以及其它科學技術的發展。它在社會信息化和人類文化的發展中具有重要作用。