ソフトウェアの提出
  1. ホーム
  2. Windows
  3. 他
  4. Overture: Formal modelling in VDM

Overture: Formal modelling in VDM

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

オーバーチュアプロジェクトは、さまざまなVDMモデリングツール(ウィーン開発法)の統合をサポートするために、オープンソースのEclipseプラグインのセットを開発しています。その目的は、既存の VDM ツールと言語の方言をすべてサポートすることです。

バージョン履歴

  • バージョン Overture_IDE に転記 2011-02-27
    いくつかの修正と更新
  • バージョン N/A に転記 2011-02-27

プログラムの詳細

関連プログラム

  • Mkulu QA Proxy 無料

    Mkulu QA プロキシは、HTTP パケットの詳細を表示するために使用されます。これは、Web開発やテストに便利なツールです。ツールの機能を向上させる作業が進行中です。プロキシは、マクロメディア フラッシュ リモート処理で使用されるバイナリ AMF プロトコルを解析できます。

  • Illumination 無料

    イルミネーション - 機能が豊富で、プラットフォームに依存しない C++ GUI ライブラリ。主な特徴:その他の機能、XML表面記述サポート、気の利いたレイアウトエンジン、フォント感性、X11、Windows、カーボン、呪いのバックエンド。

  • HMM Based Chinese Segmentor 無料

    統計モデルに基づく中国セグメンテーションの問題に対処する機能を拡張するlucene Analyzerのインタフェースを実装するプロジェクトです(Hiden Marcov Model)

  • NHibernateIt 無料

    NHibernateこれは、NHibernateセッション管理ヘルパーであり、基本的なCRUDアクションは、リポジトリクラスをトラフ提供します。nハイバーネーター・プロジェクトにインスパイアされ、oracleatdotnet.com

  • AstroWeka 無料

    AstroWekaは、仮想天文台の天文データを直接操作できる一般的なデータマイニングプログラムWekaへの一連の拡張です。

  • CalFaces 無料

    CalFaces (以前の jsforganizer) は、Web ベースの PIM アプリケーションで使用する JavaServer Faces コンポーネントのコレクションで、Outlook スタイルのカレンダーに日、稼働日、週、月のビュー、およびミーティング プランナーを提供します。

  • Complement 無料

    マルチプラットフォーム C++ ライブラリ。1. xmt: マルチスレッド (MT) アプリケーションまたはライブラリを構築するためのポータブル プログラミング インターフェイス。2. sockios: ソケットへのインターフェイス (C ++ IO ストリーム);3. StEM:有限ステートマシン/通信フレームワーク(evとの通信

  • H3xC4T 無料

    H3xC4T はバイナリ ファイルを読み取り、列に並べられた 16 進コンテンツを表示します。将来的には、プレーンなバイナリ変換や逆アセンブルなどの機能をいくつか追加します。

  • Charset detector 無料

    指定されたテキストまたはファイルの自動文字セット検出用ライブラリ。入力バッファは、使用されるエンコーディングを推測するために分析されます。結果 (文字セット名またはコード ページ ID) は、charset 会話の制御パラメーターとして使用できます。プログラムを Unicode に認識させる!

  • Java Signal/Slot with Annotations 無料

    このライブラリは、アノテーションを使用してシグナル/スロットをマークする Java 5.0 用のシグナル/スロット API です。シグナル/スロットの列挙型を含むサブクラスと、そのスロットにシグナルを放出するメソッドは、アノテーション処理ツールを通じて自動的に生成されます。