FrontPage のバックアップ(No.2) - PukiWiki

[ トップ ] [ 新規 | 一覧 | 単語検索 | 最終更新 | ヘルプ ]

バックアップ一覧
差分を表示
現在との差分を表示
ソースを表示
FrontPage へ行く。
- 1 (2008-05-29 (木) 23:54:35)
- 2 (2008-05-30 (金) 00:15:32)
- 3 (2008-05-30 (金) 13:14:10)
- 4 (2008-05-31 (土) 10:48:01)
- 5 (2008-06-23 (月) 23:40:12)

LTSAまとめサイト †

LTSAとは †

モデリング検査ツール

ダウンロード先 †

http://www.doc.ic.ac.uk/~jnm/book/

使い方 †

日本語による解説

並行システムのモデル化と分析 -- ツールLTSAを用いて

FSP Quick Reference

Finite State Processes
モデル検査（２）プロセス代数に基づくモデリングFSPの解説(日本語)

プラグイン †

MSC †

シーケンス図から状態遷移図を作ってくれるLTSAプラグイン。ただしVer3.0では使えない

http://www.doc.ic.ac.uk/ltsa/msc/