Overture: Formal modelling in VDM

関連プログラム

• 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 です。シグナル/スロットの列挙型を含むサブクラスと、そのスロットにシグナルを放出するメソッドは、アノテーション処理ツールを通じて自動的に生成されます。