程序設計方法學

程序設計方法學是討論程序的性質以及程序設計的理論和方法的一門學科 ， 是研究和構造程序的過程的學問 ， 是研究關於問題的分析 ， 環境的模擬 ， 概念的獲取 ， 需求定義的描述 ， 以及把這種描述變換細化和編碼成機器可以接受的表示的一般的方法 。