プログラミング方法論 (電子書籍のダウンロード)

プログラミング方法論、浙江大学出版局より出版。

目次

第 1 章 プログラミング方法論の概要
1.1 プログラミング手法の出現
1.2 プログラミング方法論の基本的な内容

第 2 章 プログラミング方法論の基本理論
2.1 構造定理
2.1.1 構造化プロシージャ
2.1.2 構造定理
2.2 プログラムの正しさの証明
2.2.1 基本概念
2.2.2 部分正当性証明方法
2.2.3 終端可能性の証明方法
2.3 抽象データ型
2.3.1 基本概念
2.3.2 抽象データ型の代数的仕様

第 3 章 構造化プログラミング方法論
3.1 構造化プログラミングの概要
3.2 構造化プログラミング
3.2.1 徐々に洗練を求める
3.2.2 不変プログラミング

第 4 章 オブジェクト指向プログラミング手法
4.1 オブジェクト指向プログラムの概要
4.1.1 オブジェクト指向技術の出現と発展
4.1.2 オブジェクト指向抽象化の原則
4.1.3 オブジェクト指向コンピューティングのモデル
4.2 再利用可能なオブジェクト指向プログラミングの基本原則
4.2.1 開閉原理 (OCP)
4.2.2 リスコフ置換原則 (LSP)
4.2.3 依存性反転原則 (DIP)
4.2.4 デメテルの法則 (LOD)
4.2.5 単一責任原則 (SRP)
4.3 パラダイムプログラミング
4.3.1 基本概念
4.3.2 イテレータ、関数オブジェクト、コンテナ
4.3.3 例
4.4 デザインパターン
4.4.1 基本概念
4.4.2 作成パターン
4.4.3 構造パターン
4.4.4 行動パターン
4.5 オブジェクト指向プログラミングの例の参照先
…