FrontPage のバックアップ差分(No.3)

バックアップ一覧
現在との差分を表示
ソースを表示
バックアップを表示
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まとめサイト [#e3937379]
*LTSAとは [#l0006181]
モデリング検査ツール

FSP(Finite State Processes)で書いた式から
状態遷移図をグラフィカルに生成して、イベントが起こるとどのステートに遷移するか手動で動かしてみることができる。
*ダウンロード先 [#p9d22d8c]
http://www.doc.ic.ac.uk/~jnm/book/
*使い方 [#k15a6f97]
+日本語による解説
-[[ 並行システムのモデル化と分析 -- ツールLTSAを用いて>http://www.graco.c.u-tokyo.ac.jp/~tamai/concurrency.html]]
+[[FSP Quick Reference>http://www.doc.ic.ac.uk/~jnm/book/ltsa/Appendix-A-2e.html]]
-Finite State Processes
-[[モデル検査（２）プロセス代数に基づくモデリング>http://www.google.co.jp/url?sa=t&ct=res&cd=4&url=http%3A%2F%2Flis2.huie.hokudai.ac.jp%2F~kurihara%2Fclasses%2FProgram%2Ffsp.ppt&ei=BMc-SPfrCo_ssgKZoqyUCw&usg=AFQjCNE0Bs_NuBBm5MdmNDNWEqg-w_w7Fw&sig2=bh2THKCPHTfk5sB3ijo-7w]]FSPの解説(日本語)
*プラグイン [#v9b66c7c]
**MSC [#c89c0a97]
シーケンス図から状態遷移図を作ってくれるLTSAプラグイン。ただしVer3.0では使えない
-http://www.doc.ic.ac.uk/ltsa/msc/
*参考書籍 [#hb7f704e]
-[[組み込みソフトウェアの設計&検証>http://shop.cqpub.co.jp/hanbai/books/33/33441.html]] LTSAを使ったモデル検証の説明が載っています

#counter( [total| today| yesterday] );