| パラキオン 無料およびオープンソースBCHIオートマトングラフィカルエディタ |
今すぐダウンロード |
パラキオン ランキングとまとめ
パラキオン タグ
パラキオン 説明
無料でオープンソースBchi Automata Graphical Editor. Paxionは、Javaで書かれたBchi Automata(特別な種類の有限の州オートマトン)のための無料でオープンソースのグラフィカルエディタです。 PAXINEは複数のモデルチェッカーのグラフィカルフロントエンドを提供し、オートマトンのスタンドアロンエディタとして使用できます。要件: ・Java. このリリースの新機能: 新機能: ・受付セットは着色された円でマークされています(色は ・ユーザー) ・受付セット属性が編集画面に表示されている バグの修正: ・Windowsでは、右クリックでコンテキストメニューが表示されます。 ・描画パネルは長方形の選択を開始する代わりにパネル ・Windowsでは、表示の代わりに右クリックで状態を追加しません。 ・コンテキストメニューも続きます ・MISBEHAVIARを修正しました:移行を作成しながらマウスがドラッグされたときにプログラムは2点を追加していません(マウスが正確に同じ場所で正確にリリースされていない場合は通常のクリックの代わりにダブルクリックの印象を与えました。押した) その他の改善点: ・中間点なしで自己遷移を禁止する ・ステートモードではなく選択モードでプログラムを開始
パラキオン 関連ソフトウェア