OAO

開発とかBTSとかIDEとかスクラムとか 書くかもしれないブログです たぶん

2011-12-16から1日間の記事一覧

Alloyのハンズオンないかなーとつぶやいたら。

抽象によるソフトウェア設計-Alloyではじめる形式手法-の訳者の方に拾われて Formal Methods Forumの勉強会におじゃますることにしました。