相關商品
商品簡介
目次
商品簡介
本書主要介紹程序設計方法學這一新興學科的主要內容，即結構化程序、程序正確性證明、結構化程序的正確性證明、遞歸程序及其正確性證明、程序的形式推導技術、程序變換技術、面向對象的設計方法和大型程序設計方法學基礎等。
目次
第1章 程序設計方法學簡介
1.1 程序設計方法學的產生
1.2 結構程序設計及其討論的一些主要問題
習題
第2章 結構化程序
2.1 什么是結構化程序
2.2 結構化定理
2.3 一些新的控制結構
習題
第3章 模塊化程序設計
3.1 MODULA-2語言中的模塊化結構
3.2 ADA語言中的程序包
習題
第4章 面向對象的程序設計方法
4.1 什么是面向對象的程序設計
4.2 應用框架
4.3 設計模式
4.4 淺談面向對象設計語言
習題
第5章 程序正確性證明
5.1 概述
5.2 不變式斷言法
5.3 子目標斷言法
5.4 公理化方法
5.5 良序集方法
5.6 計數器方法
習題
第6章 結構化程序的正確性證明
6.1 正確性定理
6.2 證明程序正確性的代數方法
6.3 產生循環不變式的一種方法
習題
第7章 遞歸程序及其正確性證明
7.1 迭代與遞歸
7.2 遞歸程序的一種模型
7.3 遞歸程序的正確性證明
習題
第8章 程序的形式推導技術
8.1 謂詞變換器及其性質
8.2 面向目標的程序推導
8.3 循環不變式的推導技術
習題
第9章 程序變換技術
9.1 程序變換的基本思想和基本規則
9.2 程序生成階段
9.3 程序改進階段(Ⅰ)
9.4 程序改進階段(Ⅱ)
9.5 程序改進階段(Ⅲ)
9.6 程序變換研究中的若干問題
習題
第10章 大型程序設計方法學基礎
10.1 抽象數據類型的代數規范
10.2 抽象數據類型的形式化基礎
10.3 形式規范的應用
參考文獻
1.1 程序設計方法學的產生
1.2 結構程序設計及其討論的一些主要問題
習題
第2章 結構化程序
2.1 什么是結構化程序
2.2 結構化定理
2.3 一些新的控制結構
習題
第3章 模塊化程序設計
3.1 MODULA-2語言中的模塊化結構
3.2 ADA語言中的程序包
習題
第4章 面向對象的程序設計方法
4.1 什么是面向對象的程序設計
4.2 應用框架
4.3 設計模式
4.4 淺談面向對象設計語言
習題
第5章 程序正確性證明
5.1 概述
5.2 不變式斷言法
5.3 子目標斷言法
5.4 公理化方法
5.5 良序集方法
5.6 計數器方法
習題
第6章 結構化程序的正確性證明
6.1 正確性定理
6.2 證明程序正確性的代數方法
6.3 產生循環不變式的一種方法
習題
第7章 遞歸程序及其正確性證明
7.1 迭代與遞歸
7.2 遞歸程序的一種模型
7.3 遞歸程序的正確性證明
習題
第8章 程序的形式推導技術
8.1 謂詞變換器及其性質
8.2 面向目標的程序推導
8.3 循環不變式的推導技術
習題
第9章 程序變換技術
9.1 程序變換的基本思想和基本規則
9.2 程序生成階段
9.3 程序改進階段(Ⅰ)
9.4 程序改進階段(Ⅱ)
9.5 程序改進階段(Ⅲ)
9.6 程序變換研究中的若干問題
習題
第10章 大型程序設計方法學基礎
10.1 抽象數據類型的代數規范
10.2 抽象數據類型的形式化基礎
10.3 形式規范的應用
參考文獻
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。