 | 使用するこのツールだけでなく、UMLダイアグラムを作成します。 |
| 今すぐダウンロード | |
使用する ランキングとまとめ
広告
使用する タグ
使用する 説明
ユニファイドモデリング言語（UML）とオブジェクト制約言語（OCL）に基づく情報システムの仕様と検証のために特別に設計された便利なシステムです。 オブジェクト制約言語（OCL）に書かれた式は、モデル上の追加の整合性制約を指定するために使用されます。 モデルは、非正式な要件から仕様を検証するためにアニメーション化することができます。 システム状態（実行中のシステムのスナップショット）は、アニメーション中に作成および操作できます。 スナップショットごとにOCLの制約が自動的にチェックされます。 システム状態に関する情報はグラフィカルビューで示します。 OCL式を入力して評価して、システム状態に関する詳細情報を照会することができます。
使用する 関連ソフトウェア
