Descargar y desarrollo software de código abierto

TOPCASED stands for Toolkit in OPen source for Critical Applications and SystEm Development. It is a system and software engineering workshop based on Eclipse. It aims to provide the tools required to go from requirements to the implementation stages. Focused on modeling development engineering, it includes several graphical editors (for ECORE, UML, SysML, SAM, AADL, and more), an OCL rules editor and checker, several code generators (SMUC, UML2C, UML2Java, UML2Python), a document generator, gPM (a ticket tracker), xHDL tools, Tramway (a requirements traceability framework), and more. External tools can be easily connected to the workshop through its API or models.

遥XPDLはエディタは（YXE）ワークフロープロセス定義のためのグラフィックエディタ、WfMC仕様（XPDLは2.1および1.0）に準拠しています

MySQL Workbenchはクロスプラットフォームで、MySQLのためのグラフィカルな(GUI)モデリングツールです。それは、既存のデータベースから出力したSQLやDBDesigner4モデルからインポートできるだけでなく、ゼロからのデータベースモデルを作成することもできます。その後、CREATE TABLE、ALTER文を作成することができ、様々な画像フォーマットやPDF/PSといったものへ出力することができます。さらに、LUA/Python/C++を使用して、拡張プラグインを書くことができます。

Umple can be used for pure UML modeling. Or it can be used to add UML constructs, such as associations and state machines to code written in Java, PHP, or Ruby. It generates code in these languages that can save a large amount of programming effort and result in higher quality. The UmpleOnline tool allows you to edit UML diagrams graphically, and watch the Umple textual code being written in real time. This works the other way too: you can write textual Umple and watch the corresponding UML diagram appear. Umple is being extended to support patterns, tracing, and a variety of other features. Umple is written in itself, which is central to maintaining its quality. Umple can be used today by any programmer or modeler.

信頼性の複雑なソフトウェアシステムのサービスの費用対効果の厳格な開発のためのツールのプラットフォームを開きます。このプラットフォームは、イベント- B正式な方法に基づいており、洗練さと数学的な証明のための自然なサポートを提供しています。

PlantUML QEditor PlantUML 用の単純なエディターです。これは、既製のコードかの snipets を挿入するには、コード アシスタントの編集中の図を更新する機能し、キャッシュ、PlantUML オプション ディスクからやり直し、元に戻す、および読み込みを速度を出力します。

ツリーのジェネレーターは、木と森の 3 D モデルを生成するための .net ライブラリです。

固体|物質の製品設計のための3次元CADアプリケーションです。これはパラメトリック、固体ベースのモデリング、連想寸法とスケッチ、およびアセンブリの運動の基本的なシミュレーション機能を計画しています。また、同様のGnomeデスクトップに統合するように設計されます。

IT ランドス ケープのモデリングし可視化 iteraplan は web ベースのエンタープライズ アーキテクチャの管理ツールです。文書、分析、計画およびビジネス目標に従って、IT ランドス ケープを制御することができます。実現可能性とビジネスのアイデアの影響をテストします。

EiffelStudioはEiffel言語（ECMA-367、ISO/IEC 25436）の統合開発環境です。EiffelStudioは、Eiffelコンパイラ、GUIのEiffelエディタ、リファクタリング・ツール、Eiffel解析ツール、Eiffelライブラリを備えています。Eiffelはオブジェクト指向原則と契約によるデザインを品質のために採用しています。

オープン欲望は動的システム、ニューラルネットワーク、ランタイムコンパイラ、シミュレーション研究のための実験プロトコルスクリプトの/シミュレーション言語モデルです。これは、スカラーで40,000微分方程式やニューラルネットワーク、およびをサポート/またはベクトル形式。また、非常に高速なモンテカルロの研究、複雑な周波数応答のプロットをサポートします。

grape3Dは、2Dのムービーファイルから対応するテクスチャと3Dモデルを再構築するアプリケーションです。結果として得られるモデルはBlender、ZBrushは、マヤ、および3ds Maxを含む任意の3Dアプリケーションにインポートすることができます。

libmagtは、3次元ポテンシャル場モデルライブラリです。これは、地球物理学的逆モデリングメソッドをテストするためのフレームワークへの第一歩です。

ShapeKitスイートは、データモデリングに焦点を当てた専門性の高いソフトウェアです。それは実験から収集した経験的データに基づくデータモデルを作成するエンジニアや研究者を助けます。データモデルは非常に異なる科学的なドメインで使用され、時にはフィールドに応じて、異なった形で呼び出されます。 ShapeKitスイートは、複数のプログラムから構成され、最も効果的な方法でデータモデルを構築するために最先端のアルゴリズムと技法の広い範囲を使用しています。

YAKINDUは組込みシステムのモデルベースの開発用ツールキットであり、完全に Eclipse技術に基づいています。状態図、ブロックシステム、コンポーネントモデルに適用できます。これはグラフィカル エディタ、シミュレータ、コードジェネレータを含んでいます。

テキストからプロのUMLシーケンス図を生成するための高速かつ信頼性の高いツールは、Java 5で書かれた。をサポートして役割、con-/destructors、スレッド、放送、メモ、および断片化します。 Javadocをタグレットとして使用できます。輸出PDF、（メールを繰り返します）PS、SVGは、PNG形式、...

pgDesigner Gambas 言語で書かれた PostgreSQL 用データモデルのデザイナーです。

SPEは自動インテンド、補完、チップスの呼出し、シンタックスカラーリングとハイライティング、UMLビュアー,クラスエクスプローラ、ソースインデックス、TODOリスト、Pycrustシェル、ファイルブラウザ、ドラッグ&ドロップ,Blenderサポートを持つPython用IDEです。 SPEはwxGlade、PyChecker、Kikiを装備しています。

Introspectorのプログラミングツールができますが、ソースコードを扱う標準的中立的なプログラミングの偶発的なコスト削減に通信するためのコンパイラなど。