xmldtp https://blog.hatena.ne.jp/xmldtp/ ウィリアムのいたずらの、まちあるき、たべあるきーPART2 https://xmldtp.hatenadiary.org/ トピックス TOPSEのEvent-B/RODIN集中セミナーに行ってきた！それについて、何回かに分けてメモメモ！ するけど、今回は、全体的な話。 Event-Bというと、普通の印象は、要求仕様の検証。 Rodinなんかが有名なわけなんだけど、このRodinがかなり進化したみたい。 検証だけでなく、モデル検査やシミュレーションもできる上、 記述に関しても、かなりの支援が付くようになった。 その結果、もしかすると、他の形式仕様、例えばVDMなんかよりも、 書きやすくなったかもしれない。 そのへんを、今日はご紹介してみる。 なお、以降紹介することは、このセミナー用のRodinだとできることで、普通にダウンロー… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fxmldtp.hatenadiary.org%2Fentry%2Fbcdd59ff3d8ca05f189294d664ada795" title="Event-Bは要求仕様の検証だけでなく、モデル検査やシミュレーションもできるみたい！ - ウィリアムのいたずらの、まちあるき、たべあるきーPART2" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/x/xmldtp/20250814/20250814095853.png Hatena Blog https://hatena.blog 2013-11-18 14:42:54 rich https://xmldtp.hatenadiary.org/entry/bcdd59ff3d8ca05f189294d664ada795 1.0 100%