1、例
見つかりました：
1 ）動作も、契約・ケース・モデルの一部です。
2）、SSD +テキスト+オペレータドメインモデルと例の契約----」
2、の定義
1）、その契約の一部？
操作：名前と操作のパラメータ（システムが動作SSDである）
の相互参照：この操作で送信例
前提条件：システムまたはオブジェクトのドメインモデルの動作を行う前の状態の重要な前提条件です。例：注文端状態を変更することはできません。
事後条件：最も重要な部分。操作が完了した後、オブジェクトモデルフィールド状態。フォローアップについて詳細に説明します。
2）オペレーティングシステムとは何ですか？
SSDは、それによって操作契約を定義する、（クラスメソッドに対応する）操作名です。
3）、后置条件
- 定義：オブジェクト状態モデルの分野で変化します。状態変化は：
、インスタンスの作成または削除
B、変化属性値
C、形成または除去関連（アソシエーション・ドメイン・モデル）
- どのように事後条件は、ドメインモデルに関連付けられていますか？
どのような例を作成することができますか？（ドメインモデルから）
どのような関連性を形成することができますか？（ドメインモデルからの）
属性値を変更できますか？（ドメインモデルより）
- 事後条件を記述する方法？
過去形でA、。
好ましく：XXXが作成
貧しい：作成XXX XXXが作成またはれる
B、事後条件だけ軽量分析に、必ずしも完璧
これは、術後の状態は、それがドメインモデルから来て、契約の焦点である、見ることができます。