ロダイン 信頼できる複合ソフトウェアシステムサービスの開発のためのプラットフォーム
今すぐダウンロード

ロダイン ランキングとまとめ

ロダイン タグ

発達 発展させる 開発プラットフォーム システムサービス システムサービスの開発 システムサービスを開発します

ロダイン 説明

信頼できる複合ソフトウェアシステムサービスの開発のためのプラットフォーム Rodinは、信頼できる複雑なソフトウェアシステムサービスの費用効果の高い厳密な開発のための無料のオープンソースプラットフォームです。ロダンはイベントBの正式な方法に基づいており、洗練と数学的証明のための自然な支援を提供します。要件： ・Java 1.5以降 このリリースの新機能： ・バグ1813657：リファクタリングメニューはリファクタリングに関連しない ・バグ1818464：些細なPOは放電しません ・バグ1897572：証明義務発電機の誤差 ・バグ1919546：P1、PP、M0-M3ポスト戦術としては利用できません ・バグ1948095：既存のプロジェクトのインポート ・バグ2414463：RODIN以外のファイルに呼び出されたビルダー ・バグ2433212：KDEの下でパフォーマンスが低い ・バグ2648946：述語証明者（NEWPP、P0）簡単なPOを排出できない ・バグ2656831：証明の保存は必ずしもうまくいかない ・バグ2694492：Probウィジェットは2番目の問題に表示されません ・バグ2744052：巡回洗練におけるビルダーのNullPointerException ・バグ2782126：プラットフォームはSWTブラウザウィジェットをサポートしていません。 ・バグ2827806：バッファ内のゾンビファイル ・バグ2836774：テキストエディタを保存できません（例外） ・バグ2844797：プルーフスケルトンビューはコンテナには適応しません ・バグ2895507：MHやその他の規則は病的に定義されています ・バグ2945276：Rodin Keyboardビューが無効に表示されます ・バグ2952087：Rodin 1.2 REUSES誤ったRodin 1.1証明 ・バグ2952090：コンテキストの名前変更時...

ロダイン 関連ソフトウェア