形式手法コミュのツール使ってみました

ログインして参加する

ツール使ってみました

mixiユーザー 2006年12月24日 01:01

最近形式手法が注目されてきた理由のひとつに、
「ツールが使い物になるようになってきた」
ということが挙げられます。

それはいいんだけど、今度はツールが
多すぎる気がします。

ここでは実際にインストールして使ってみた
感想を書いていきましょう。

コメント(3)

最初
全て
最新の40件

1

[2] mixiユーザー 08月12日 09:07

このサイト XOOPS でつくっていますね。

[3] mixiユーザー 06月15日 06:41

SPIN, UPPAAL, Bを動かしています。
まだ、違いを明確に書けるほどではありません。

UML+SPINを使っている富士ゼロックスの方のセミナを３月に聞きました。
より詳しく知りたいので、６月２６日に名古屋でセミナを開催することにしました。

人に話しを聞くだけではまずいので、SPIN,UPPAAL,B, Zについて、その日までにやったことは報告する予定です。

ログインすると、みんなのコメントがもっと見れるよ

最初
全て
最新の40件

1

mixiユーザー: ログインしてコメントしよう！

形式手法更新情報

形式手法のメンバーはこんなコミュニティにも参加しています

星印の数は、共通して参加しているメンバーが多いほど増えます。

人気コミュニティランキング

困ったときには

関連ワード

mixiで趣味の話をしよう: 新規登録（無料）; ログイン

このページの上部へ