程式設計方法學
正文
用以指導程式設計各階段工作的原理和原則，以及依此提出的設計技術。有時也指研究這些原理、原則和技術的學科。程式設計方法學的目標是能設計出可靠、易讀而且代價合理的程式。程式設計方法學包括程式理論、研製技術、支援環境、工程規範和自動程式設計等課題，使程式設計更加科學化和工程化。其基本內容是：結構程式設計；程式理論在程式設計技術中的套用，以及規格說明和變換技術。程式理論與程式設計方法學的發展密切相關，它豐富了程式人員的思維方法，促進了程式設計技術的發展。程式設計方法學也與軟體工程關係密切。方法學對軟體的研製和維護起指導作用。軟體工程要求程式設計規範化，建立新的原則和技術。而一種新的方法的出現，又要求制訂出相應的規範。方法和工具是同一問題的兩個側面。工具的研究以方法學為基礎，而工具的研製成功又會影響程式設計。程式設計方法學還涉及程式推導、程式綜合、程式設計自動化研究、並發程式設計、分散式程式設計、函式式程式設計、語義學、程式邏輯、形式化規格說明和公理化系統等課題。
參考書目
仲萃豪、馮玉琳、陳友君著:《程式設計方法學》,北京科技出版社，北京，1984。
