Aoki blog

オブジェクト指向入門 第2版 原則・コンセプト pp.467-477 (大野, 青木)

• パートC オブジェクト指向の技法
  • 第11章契約による設計：信頼性の高いソフトウェアを構築する
    • 11.8 クラス不変表明
      • 11.8.1 定義と例
      • 11.8.2 クラス不変表明の形式と特質
      • 11.8.3 変化する不変表明
      • 11.8.4 不変表明を守らなければならないのは誰か？
      • 11.8.5 ソフトウェア工学におけるクラス不変表明規則
      • 11.8.6 不変表明と契約
    • 11.9 クラスが正しいのはいつか？
      • 11.9.1 クラスの正しさ
      • 11.9.2 生成プロシージャの役割

オブジェクト指向入門 第2版 原則・コンセプト pp.446-456 (大野, 青木)

• パートC オブジェクト指向の技法
  • 第11章契約による設計：信頼性の高いソフトウェアを構築する
    • 11.6 ソフトウェア信頼性のための契約
      • 11.6.3 表明は入力検査メカニズムにあらず
      • 11.6.4 表明は制御構造にあらず
      • 11.6.5 エラー、欠陥、その他、モゾモゾ這い回るやつ
    • 11.7 表明を用いた作業
      • 11.7.1 スタッククラス
      • 11.7.2 命令的であることと適用的であること
      • 11.7.3 空（empty）の構造に関する知見

オブジェクト指向入門 第2版 原則・コンセプト pp.331-343 (沼田, 青木)

• パートC オブジェクト指向の技法
  • 第8章 実行時の構造：オブジェクト
    • 8.7 複合オブジェクトと拡張型
      • 8.7.4 集約
      • 8.7.5 拡張性の性質
      • 8.7.6 サブオブジェクトへの参照はだめ
    • 8.8 アッタチメント：参照と値の意味
      • 8.8.1 アッタチメント
      • 8.8.2 参照とコピーのアタッチメント
      • 8.8.3 ハイブリッドアタッチメント
      • 8.8.4 一致比較
    • 8.9 参照を扱うということ：利点と危険
      • 8.9.1 動的別名付け
      • 8.9.2 別名の意味

オブジェクト指向入門 第2版 原則・コンセプト pp.269-282 ( 今井、大野、青木)

• パートC オブジェクト指向の技法
  • 第7章 静的な構造：クラス
    • 7.10 検討
      • 7.10.7 インポートを列挙する
      • 7.10.8 ファンクションの結果の表記
      • 7.10.9 補足：エンティティの厳密な定義
    • 7.11 本章のまとめ
    • 7.12　参考文献
  • 第8章 実行時の構造：オブジェクト
    • 8.1 オブジェクト
      • 8.1.1 オブジェクトとは何か？