Can you summarize the following document?
        
  

  

  利用Dijkstra的謂詞轉換器及其演算規則集合,可以推匯出正確的程式。  利用程式變化構造正確的程式。它對程式應用一連串的保護正確性的變換規則,最終得到可執行的程式。程式變換是1970年代以來,“程式設計方法學”研究的重要方面,是程式設計自動化很有希望的途徑之一。遞迴程式變換是這一時期的最有意義的成果。如Burstall和Darlington的遞迴程式變換系統等。  邏輯程式設計和函式程式設計代表一種新的研究方向。Prolog是以謂詞邏輯的子集(Hoare子句)為基礎的一種形式系統。Prolog的執行過程就是執行邏輯上消解演算法的過程。

  抽象資料型別是程式設計方法學中一種極為重要的方法。人們把它譽為程式設計方法學發展史上的一個重要的里程碑。

  

  軟體工程主要應用工程的方法和技術研究軟體開發與維護的方法、工具和管理的一門電腦科學與工程學交叉的學科 程式設計方法學主要運用數學方法研究程式的性質以及程式設計的理論和方法的學科;

  軟體工程的研究物件是軟體系統。目標是降低軟體的開發成本,提高軟體的質量,提高軟體的可維護性,提高軟體開發的效率。著重於軟體的巨集觀可用性。程式設計方法學研究物件是程式。目標是保證程式的正確性。著重於程式的微觀正確性。軟體工程與程式設計方法學的界限變得越來越模糊 程式設計方法學是軟體工程的基礎。
程式設計方法學是討論程式的性質以及程式設計的理論和方法的一門學科,是研究和構造程式的過程的學問,是研究關於問題的分析,環境的模擬,概念的獲取,需求定義的描述,以及把這種描述變換細化和編碼成機器可以接受的表示的一般的方法。