Alloy本原著(Software Abstractions)改訂版が11月に出るようです。表紙が緑!
http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=12777
日本語版ともども、よろしくお願いします。
日本語版と内容はほぼ同一のハズ、です。
また、先日(株)PFIさん主催のセミナーで、Alloyが紹介されたようです。
Ustreamでのアーカイブと、発表スライドが公開されています。
Ustream
http://www.ustream.tv/recorded/17430540
スライド(SlideShare)
http://www.slideshare.net/konn/alloy-analyzer-9379488
--
IMAI Takeo <takeo...@gmail.com>