2013-01-18 Alloy Analyzerによるモデリング入門(1/18) Alloy http://topse.or.jp/2012/12/1678サンプルファイル群はこちら。 https://github.com/kencoba/alloy-introduction