Loading AI tools
来自维基百科,自由的百科全书
程序設計方法學是討論程序的性質以及程序設計的理論和方法的一門學科,是研究和構造程序的過程的學問,是研究關於問題的分析,環境的模擬,概念的獲取,需求定義的描述,以及把這種描述變換細化和編碼成機器可以接受的表示的一般的方法。
此條目沒有列出任何參考或來源。 (2022年12月31日) |
利用Dijkstra的謂詞轉換器及其演算規則集合,可以推導出正確的程序。
利用程序變化構造正確的程序。它對程序應用一連串的保護正確性的變換規則,最終得到可執行的程序。程序變換是1970年代以來,「程序設計方法學」研究的重要方面,是程序設計自動化很有希望的途徑之一。遞歸程序變換是這一時期的最有意義的成果。如Burstall和Darlington的遞歸程序變換系統等。
邏輯程序設計和函數程序設計代表一種新的研究方向。Prolog是以謂詞邏輯的子集(Hoare子句)為基礎的一種形式系統。Prolog的執行過程就是執行邏輯上消解算法的過程。
抽象數據類型是程序設計方法學中一種極為重要的方法。人們把它譽為程序設計方法學發展史上的一個重要的里程碑。
軟體工程主要應用工程的方法和技術研究軟體開發與維護的方法、工具和管理的一門計算機科學與工程學交叉的學科 程序設計方法學主要運用數學方法研究程序的性質以及程序設計的理論和方法的學科;
軟體工程的研究對象是軟體系統。目標是降低軟體的開發成本,提高軟體的質量,提高軟體的可維護性,提高軟體開發的效率。著重於軟體的宏觀可用性。程序設計方法學研究對象是程序。目標是保證程序的正確性。著重於程序的微觀正確性。軟體工程與程序設計方法學的界限變得越來越模糊 程序設計方法學是軟體工程的基礎。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.