程序設計方法學

用以指導程序設計各階段工作的原理和原則，以及依此提出的設計技術。有時也指研究這些原理、原則和技術的學科。程序設計方法學的目標是能設計出可靠、易讀而且代價合理的程序。程序設計方法學包括程序理論、研製技術、支援環境、工程規範和自動程序設計等課題，使程序設計更加科學化和工程化。其基本內容是：結構程序設計；程序理論在程序設計技術中的應用，以及規格說明和變換技術。程序理論與程序設計方法學的發展密切相關，它豐富了程序人員的思維方法，促進了程序設計技術的發展。

程序設計方法學也與軟體工程關係密切。方法學對軟體的研製和維護起指導作用。軟體工程要求程序設計規範化，建立新的原則和技術。而一種新的方法的出現，又要求制訂出相應的規範。方法和工具是同一問題的兩個側面。工具的研究以方法學為基礎，而工具的研製成功又會影響程序設計。程序設計方法學還涉及程序推導、程序綜合、程序設計自動化研究、併發程序設計、分散式程序設計、函數式程序設計、語義學、程序邏輯、形式化規格說明和公理化系統等課題。

參考書目

仲萃豪、馮玉琳、陳友君著:《程序設計方法學》,北京科技出版社，北京，1984。