FrontPage のバックアップ(No.5)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• 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とは †

モデリング検査ツール

FSP(Finite State Processes)で書いた式から 状態遷移図をグラフィカルに生成して、イベントが起こるとどのステートに遷移するか手動で動かしてみることができる。

LTSAのモデルからprologのプログラムに変換するスクリプト †

• 組み込みソフトウェアの設計&検証 の著者の藤倉 俊幸様作成のスクリプトです。

※作者様の許可を頂いて掲載しております。

ダウンロード

LTSAのモデルからprologのプログラムに変換するスクリプト使用方法?

ダウンロード先 †

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

こちらのhereをクリックし

download ltsaをクリックします

使い方 †

1. 日本語による解説

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

1. FSP Quick Reference

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

簡単な使い方 †

簡単な使い方?

プラグイン †

MSC †

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

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

参考書籍 †

• 組み込みソフトウェアの設計&検証 LTSAを使ったモデル検証の説明が載っています

PukiWiki 1.4.7 Copyright © 2001-2006 PukiWiki Developers Team. License is GPL.
Based on "PukiWiki" 1.3 by yu-ji. Powered by PHP 5.2.17. HTML convert time: 0.007 sec.