オブジェクト指向入門 第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 生成プロシージャの役割
- 11.8 クラス不変表明
- 第11章契約による設計:信頼性の高いソフトウェアを構築する