ソフトウェア開発についてのホームページです。
形式手法 Event-B について有志で Wiki にまとめています。
＞ こちら

「あれこれ」と言いつつ Event-B しかないことに突っ込んではいけません。
そのうち増えます。きっと。。。

NEWS

  • 2009/11/29　LINKを更新しました。
    • 2009/11/15　TOPページを変更しました。