2011-10-20から1日間の記事一覧
次は「操作」のモデル化です。ちょっと難しくなってきました。 pred add でアドレスの追加を定義 追加前の Book と追加後の Book という表現のしかた 本書の図と実行結果が違う。Book0 でも関連(矢印)がないだけで Addr と Name が表示されている 制約を追加…
次は「操作」のモデル化です。ちょっと難しくなってきました。 pred add でアドレスの追加を定義 追加前の Book と追加後の Book という表現のしかた 本書の図と実行結果が違う。Book0 でも関連(矢印)がないだけで Addr と Name が表示されている 制約を追加…