2月にEvent-Bを解説した書籍が出ると以前書きましたが、 アマゾンを覗いたら登録されていました。 Event-B: リファインメント・モデリングに基づく形式手法作者: 中島震,來間啓伸出版社/メーカー: 近代科学社発売日: 2015/02/26メディア: ムックこの商品を含…

EclipseベースのRodinという開発環境を使って検証をする定理証明系のツールである。 日本語で詳しい解説があるのは以下のサイトだが、この記事を書いた時点では更新が止まっている。 Event-B - 形式手法 Event-B 形式手法そのものについては以下のサイトに形…

形式手法を理解するためのよい資料を見つけたので自分用にブックマーク。 数理的に組み込みソフトを開発する方法入門 from Toshiyuki Fujikura しかし、リンク先URLを入れるだけでスライドが埋め込みで表示されるなんてすごいな。 Embedded-Note lagavulin19…

Event-Bとは形式手法の１つ。Bメソッドと呼ばれるものがベースになっている。 Event-Bの本が出版 仕事がら形式手法について興味があるのだが、Event-Bは今まで日本語で書籍が出ていない。これはちょっと気になる。 Event-Bについて日本語で比較的まとまった…

うちは賃貸アパートに嫁さんと二人で住んでいるのだが、お風呂が風呂釜がなく、追い炊きできないタイプ。 二人とも共働きで、帰ってくる時間が嫁さんはほぼ定時帰り、自分は遅くなりがち。だが、嫁さんは帰ってきてすぐに風呂に入りたいタイプで帰宅後すぐに…