FrontPage
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
単語検索
|
最終更新
|
ヘルプ
]
開始行:
*LTSAまとめサイト [#e3937379]
*LTSAとは [#l0006181]
モデリング検査ツール
FSP(Finite State Processes)で書いた式から
状態遷移図をグラフィカルに生成して、イベントが起こるとど...
*LTSAのモデルからprologのプログラムに変換するスクリプト [...
-[[組み込みソフトウェアの設計&検証>http://shop.cqpub.co.j...
※作者様の許可を頂いて掲載しております。ありがとうございま...
[[ダウンロード>http://garyo.sakura.ne.jp/LTSA/index.php?p...
[[LTSAのモデルからprologのプログラムに変換するスクリプト...
*LTSAダウンロード先 [#p9d22d8c]
http://www.doc.ic.ac.uk/~jnm/book/
こちらの[[here>http://www.doc.ic.ac.uk/~jnm/book/ltsa/dow...
[[download ltsa>http://www.doc.ic.ac.uk/~jnm/book/ltsa/lt...
*LTSA使い方 [#k15a6f97]
+日本語による解説
-[[ 並行システムのモデル化と分析 -- ツールLTSAを用いて>ht...
+[[FSP Quick Reference>http://www.doc.ic.ac.uk/~jnm/book/...
-Finite State Processes
-[[モデル検査（２）プロセス代数に基づくモデリング>http://...
*簡単な使い方 [#p64f3271]
[[簡単な使い方]]
*プラグイン [#v9b66c7c]
**MSC [#c89c0a97]
シーケンス図から状態遷移図を作ってくれるLTSAプラグイン。...
-http://www.doc.ic.ac.uk/ltsa/msc/
*参考書籍 [#hb7f704e]
-[[組み込みソフトウェアの設計&検証>http://shop.cqpub.co.j...
#counter( [total| today| yesterday] );
終了行:
*LTSAまとめサイト [#e3937379]
*LTSAとは [#l0006181]
モデリング検査ツール
FSP(Finite State Processes)で書いた式から
状態遷移図をグラフィカルに生成して、イベントが起こるとど...
*LTSAのモデルからprologのプログラムに変換するスクリプト [...
-[[組み込みソフトウェアの設計&検証>http://shop.cqpub.co.j...
※作者様の許可を頂いて掲載しております。ありがとうございま...
[[ダウンロード>http://garyo.sakura.ne.jp/LTSA/index.php?p...
[[LTSAのモデルからprologのプログラムに変換するスクリプト...
*LTSAダウンロード先 [#p9d22d8c]
http://www.doc.ic.ac.uk/~jnm/book/
こちらの[[here>http://www.doc.ic.ac.uk/~jnm/book/ltsa/dow...
[[download ltsa>http://www.doc.ic.ac.uk/~jnm/book/ltsa/lt...
*LTSA使い方 [#k15a6f97]
+日本語による解説
-[[ 並行システムのモデル化と分析 -- ツールLTSAを用いて>ht...
+[[FSP Quick Reference>http://www.doc.ic.ac.uk/~jnm/book/...
-Finite State Processes
-[[モデル検査（２）プロセス代数に基づくモデリング>http://...
*簡単な使い方 [#p64f3271]
[[簡単な使い方]]
*プラグイン [#v9b66c7c]
**MSC [#c89c0a97]
シーケンス図から状態遷移図を作ってくれるLTSAプラグイン。...
-http://www.doc.ic.ac.uk/ltsa/msc/
*参考書籍 [#hb7f704e]
-[[組み込みソフトウェアの設計&検証>http://shop.cqpub.co.j...
#counter( [total| today| yesterday] );
ページ名:
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
