![](/statics/img/blank.png)
WATERS
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://waters.cvs.sourceforge.net/waters
に関しては WATERS
ウォーターズ - 反応システムにおける事象のためのワイカト分析ツール。 このソフトウェアは、ユーザーがグラフィカルユーザーインターフェースで有限状態のマシンモデルを作成し、実行をシミュレートし、それらにモデルチェックアルゴリズムを適用することを可能にします。
関連プログラム
-
XML Template Processor 無料
ドキュメントの XML ベースの ISO 標準 (OOXML、ODF、XHTML..) は、レポート生成のタスクを容易にしました。JAVA ライブラリ XTP ( XML テンプレート プロセッサ ) は、レポート テンプレート (デザイナーによって作成された) に生データ (XML 形式) を埋めます。
-
Rule MANager for Snort 無料
スノートのためのルールMANagaer複数のセンサーでルールセットを管理するための、いびきのための PHP アドオン中央の Snort MySQL db。主な特徴: Snort CVS からグループ別にマージされるルールセット。中央DBからの自動センサー更新
-
GraphStream 無料
グラフ (ノードとエッジのセット) と動的グラフを迅速かつ簡単に操作するための Java ライブラリとツールのセット。このライブラリの主な特徴は、継続的に進化するグラフを管理(作成、編集、レイアウト、表示)できることです。
-
Cut Order Plan 無料
カットオーダープランは、カットプランを作るための衣料品業界で使用されるツールです。特徴:-*今、それは一度に単一の生地を処理します.*最小限のマーカーの可能性のために働く.*オプションは、必要な層とレイの数でマーカーを作成し、サイズを使用する必要があります。*要求に応じてPDFレポートを生成し、通知を送信します。超高速かつ効率的な、順列中に全くハングアップしません。この無料版を楽しみ、必要な変更と見つかったバグについて教えてください.(もしも).
-
Japano Webapplication Toolkit 無料
ジャパンオは、Javaサーブレットベースのウェブアプリケーションツールキットとエンジンです。それは簡単なウェブサイトのロジックとHTMLフォームの作成を提供し、動的なJavaScriptの更新(AJAX)の統合を提供しています。サンプルのウェブアプリを使用すると、日本の国で簡単に開発を始めることができます。
-
Reboot Control Widget 無料トライアル
再起動ウィジェットルートアクセスが必要です***このウィジェットを含む任意のデバイスを再起動することができます機能:再起動ホットブートリカバリへの再起動ブートローダーに再起動電源オフワイプデバイスSDカードに移動しないでください、それが消えます。**遅さは、携帯電話ではなく、アプリによって引き起こされます**ルートアクセスが必要です***彼らは消えるSDカードにウィジェットを
-
OpenWiz 無料
OpenWizは、ゲームパークホールディングスウィズハンドヘルドマシン用のオープンソースソフトウェアの開発を支援するプロジェクトです。カーネルソースへのパブリックアクセスを維持し、代替ファームウェア、開発ツール、ドキュメントを提供します。
-
JCortex (Neural Networks Framework) 無料
JCortex は、ソフトウェア開発者が作成、教育、Java プロジェクトで人工ニューラル ネットワークを使用できる完全なソリューションです。2 つの要素に分割: JCortex フレームワーク、アン Java フレームワーク;とJCortexBuilder、そのグラフィック開発環境。
-
QPythonShell 無料
Python シェルは、Qt、QScintilla、および Python C API から直接構築されており、これは、構文の強調表示と簡単なコード補完を Qt GUI を介して提供しています。最終的にはQtウィジェットを構築できることが期待されています。
-
xacc.ide 無料
xacc.ide は主に .NET 開発を目的としたオープンソースの IDE です。100% C# コードで記述されたコード エディターを使用しており、ほとんどの商用製品よりも高速です。