ソフトウェアの提出
  1. ホーム
  2. Linux
  3. 他
  4. The PEP tool

The PEP tool 2.0b

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 5.0/5 - ‎1 ‎投票
ダウンロード

PEPは並列システムのモデリングと検証のフレームワークであり、多数の異なるモデリング言語と検証技術(SDL、ペトリネット、モデルチェックなど)を提供します。

バージョン履歴

  • バージョン 2.0beta4 に転記 2004-09-13
    いくつかの修正と更新
  • バージョン 2.0beta4 に転記 2004-09-13

プログラムの詳細

  • カテゴリ: 開発 > 他
  • パブリッシャー: peptool.sf.net
  • ライセンス: 無料
  • 価格: N/A
  • バージョン: 2.0B
  • プラットフォーム: linux

関連プログラム

  • 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) に基づいて、小さな組み込みシステム用のブート可能なイメージを構築する方法を提供し、繰り返し可能なビルドの配布ファイルと構成ファイルのスナップショットを作成することです。