Enterprise Architect Alloy連携アドイン

[Takeo Imai]

今井です。

不勉強でつい最近知ったのですが、スパークシステムズジャパン さんで、同社の
UMLツール"Enterprise Architect" のAlloy連携アドインを作っておられるそうです。
コレを使うと、クラス図をAlloyモデルに変換して検証できます。
http://uml.livedoor.biz/archives/51609163.html

しばらく配布を中止しておられたんですが、明日以降配布を再開されるとのこと。
（上記URLのページからリンクが張られるようです）
ご興味のあるかたは、ぜひお試し下さい。

--
IMAI Takeo <takeo...@gmail.com>

[Takeo Imai]

続報です。配布を再開されたようです。
下記ブログエントリーの最後をご覧下さい。
http://uml.livedoor.biz/archives/51562895.html

今井

2011/8/4 Takeo Imai <takeo...@gmail.com>:

--
IMAI Takeo <takeo...@gmail.com>