議長 無料、パターンベースのプロパティエディタ
今すぐダウンロード

議長 ランキングとまとめ

議長 タグ

編集 翻訳 財産 プロパティエディタ パターンを翻訳する パターン翻訳

議長 説明

無料のパターンベースのプロパティエディタ Procrustesは、各パターンの時間論理式の変換を可能にするパターンベースのプロパティエディタ（現在CTL、CTRL、およびMU-calulusがサポートされています）.PROCRASTESは、グラフィカルユーザーインターフェイスとパターン変換APIの2つのモジュールで構成されています。後者は遺伝的ネットワークアナライザー（GNA）に統合されており、遺伝的調節ネットワークのモデル化およびシミュレーションのためのコンピューターツールは、近年ますます大きくなっています。分析およびシミュレーションツールによるこれらのモデルの研究は、システムの可能な動的挙動の多数の予測を生成する。ディスクリート状態遷移グラフ（例えばKripke構造）によってシステム動力学を表す場合、関心のある特定の特性を検証するために正式な検証技術を使用することが可能になる。しかしながら、これは時間的論理における特性の定式化を必要とし、それは非エキスパートユーザに対して明らかではない。モデラーによって提起されました。パターンは、時間論理式の形式に変換することができる構造化された自然言語フレーズで構成されています。要件： ・Java 1.5以降

議長 関連ソフトウェア