2011-12-22から1日間の記事一覧
今日は 6.2.3 ホテルの客室施錠の解析のところからです。 不正な入室がないことの assert 「客がある時刻に入室する(錠前を開ける)時、フロントでその部屋に*宿泊客が登録済みなら*その客が登録されている」 ちょっとまわりくどくなっているのは客室錠前のシ…
今日は 6.2.3 ホテルの客室施錠の解析のところからです。 不正な入室がないことの assert 「客がある時刻に入室する(錠前を開ける)時、フロントでその部屋に*宿泊客が登録済みなら*その客が登録されている」 ちょっとまわりくどくなっているのは客室錠前のシ…