Contract++
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://sourceforge.net/projects/contractpp/files/releases/contractpp_0_3_490.tar.gz/download
に関しては Contract++
C++ 契約プログラミング (別名コントラクトによるデザイン)。サポートされているすべてのエッフェル機能: オプションのコントラクトのコンパイル。失敗時のカスタマイズ可能なアクション。下請け;古い値と結果値。ブロック不変性、ループバリアント。http://contractpp.sourceforge.net
関連プログラム
-
ProLOGO - Logo in Prolog 無料
ProLOGO は、XPCE グラフィックライブラリを使用してスウィプロローグで書かれたロゴのような言語です。ほとんどすべての基本的なコマンドが実装されていますが、プロシージャのサポートはありません(まだ)。
-
Space Opera 無料
スペースオペラは「オリオンのマスター」や「銀河文明」に似たスペース植民地化ゲームです。宇宙を探検し、惑星を植民地化し、エイリアンと戦い、研究技術を研究することができます。画像はポヴレとテラゲンで作成されました。
-
Topaz DeJPEG 無料
JPEG 圧縮アーティファクトは、デジタル イメージの品質に大きく影響します。彼らは蚊の騒音、ブロックまたはチェッカーボード、およびエッジアーティファクトとして見ることができます。Topaz DeJPEG は、この問題に対処するために特別に設計されたプラグインで、ネイティブ Photoshop JPEG アーティファクト除去機よりもはるかに効果的です。ほとんどすべてのインターネットイメージは、JPEG 圧縮アーティファクトノイズの低減の恩恵を受け
-
ACD VideoMagic 無料トライアル
ACD VideoMagicを使用すると、デジタルビデオ制作やデジタルビデオ編集ソフトウェアにお金に多くの時間を費やすことなく、人生の素晴らしい瞬間の思い出に残るビデオを共有することができます。ACD VideoMagicデジタルビデオソフトウェアを使用すると、映画は自動的に起こります!ACD VideoMagicデジタルビデオ編集ソフトウェアは、自動的に洗練されたビデオを作成するために、お好みの音楽とデジタル静止画やビデオカメラからのビデ
-
PhotoZoom Pro for Mac 無料トライアル
あなたのデジタル画像の拡大の品質に不満?フォトズームプロ6を使用して画像のサイズを変更!ベンビスタフォトズームプロ6は、OS X 10.6以上とWindows用に利用可能なデジタル画像を拡大するためのソフトウェアです。これは、Sスプラインマックスに基づいています: ベンビスタの特許を取得し、受賞歴のあるSスプライン補間技術の最新世代。S-スプライン Max は、エッジ、ディテール、シェイプを完全に保持し、鮮明で鮮明で自然のイメージの拡大に忠
-
2Bitmap 無料トライアル
2Bitmap は、gif から bmp への変換、jpeg からビットマップ、tiff から bmp への変換を含む 50 種類の画像ファイル形式から GIF 形式にイメージを変換できるグラフィック コンバータです。 プログラムは、ウィンドウインターフェイスを持っていないし、完全にバックグラウンドモードで動作するために最適化されています。2Bitmap は一度に複数のファイルを処理します。膨大な数の画像があり、それらを bmp 形式に変換する必
-
PDF Stamp Multiple Files With Image Software 無料トライアル
このソフトウェアは、透かしで複数のPDFファイルをスタンプしたいユーザーにソリューションを提供しています。ユーザーは、ウォーターマークの画像ファイルを選択してスタンプを開始する前に、必要なファイルまたはフォルダ全体を追加するだけです。この使いやすいソフトウェアを使用すると、多数のPDFをワンクリックで透かしすることができます。これは、元の作業を確実に識別できる適切な方法です。
-
Viking GPS data editor and analyzer 無料
バイキングは、GPSデータを管理するための無料/オープンソースプログラムです。読み込み、プロット、トラックやウェイポイントの作成、OSM、Terraserver、その他のマップの表示、リアルタイムGPS位置の表示、ジオキャッシュの取得、アイテムの制御などを行うことができます。それはC>K +2ツールキットで書かれています
-
OSSIM - Open Source Software Image Map 無料
オープンソースリモートセンシングOSSIMプロジェクトは、究極のリモートセンシング/画像処理/GISパッケージの構築において、オープンソースコミュニティの既存のアルゴリズム/ツール/パッケージを活用します。OSG惑星はOSSIMとオペを拡張
-
Comical 無料
コミカルは、wxWidgetsを使用してC ++で書かれたポータブルCBRとCBZビューアです。複数の画像形式をサポートし、高品質の画像スケーリングアルゴリズムを使用してページを画面上に収めます。