![](/statics/img/blank.png)
The PEP tool 2.0b
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://sourceforge.net/projects/peptool/files/peptool/2.0beta4/peptool-2.0.beta4-solaris.tar.gz/download
に関しては The PEP tool
PEPは並列システムのモデリングと検証のフレームワークであり、多数の異なるモデリング言語と検証技術(SDL、ペトリネット、モデルチェックなど)を提供します。
関連プログラム
-
JDPF 無料
このプログラムは、個人的および商業的な使用の両方のための無料のオープンソースソフトウェアです, したがって、よりよく知られている有料プログラムのための代替をしたい人のための完璧な選択肢.
-
VDK Library 無料
VDK ライブラリは、GtK+ GUI ライブラリをバインドする C++ のフレームワークで、Linux と Windows の両方で VDKBuilder プロジェクトのベース ライブラリとして提供されています。最近、プロジェクトは分割され、VDKは彼自身の開発を続けています。
-
Efes 無料
バイトコードベースのスキーム (R ^5RS) の実装。高速、コンパクト、安定した、教育と実験に適しています。
-
Light Torch Flash Widget Pro 無料
クリックするだけでカメラのLED(フラッシュ)をオン/オフするウィジェット。トーチとして有用です。
-
Ayra - VCL Report Generator 無料
Delphi で作成されたレポート デザイナーとジェネレーター アプリケーションで、WYSIWYG レポート デザイナー、レポート生成用の VCL コンポーネント、Delphi 5 ~ 2006 で有効な、呼び出し用のコマンド ライン アプリケーションを少し使用します。それはWindowsとスペイン語でのみ実行されます。
-
ES32 - EEG Analysis 無料
ES32は、NEUROSCAN(tm)取得アプリケーションによって生成された脳科学データファイルの分析のためのWindowsプログラムです。
-
LJOS - Java and database integration 無料
LJOS は、一連の単語の略です: Linux、 Java、オペレーティングシステム。これは、Linux カーネルに対して、データベースと密に統合された、共通ストレージとして直接バイトコード拡張を作成する試みです。
-
DROIDinfo (Android 1.6+) 無料
DROIDinfo は、Android デバイスに関する技術情報を表示します。これは、デバイスのハードウェア、Linux/Android システム、および Dalvik VM から見た Java プロパティの概要を取得したい開発者を対象としています。また、デバイスのパフォーマンスを測定するベンチマーク機能もあります。
-
Lumbermill - Log4J/JSR47 GUI 無料
Lumbermill は、Log4j および (2.0 の場合は) java.util.logging (JSR47) のビジュアルログ処理および配布センターです。ログイベントの表示とアーカイブをサポートする Swing/GUI スタンドアロンアプリケーションです。
-
EmbeddedImageBuilder 無料
このプロジェクトの目的は、元のパッケージ ソース (特に buildroot) に基づいて、小さな組み込みシステム用のブート可能なイメージを構築する方法を提供し、繰り返し可能なビルドの配布ファイルと構成ファイルのスナップショットを作成することです。