ModelValidator1_0_src.zip (ModelValidator1_0_src.zip( 外部リンク: SF.net): 3,523,313 バイト)のダウンロードが開始されます。開始されない場合，左のリンクをクリックしてください。
USEは、統一モデリング言語（UML）とオブジェクト制約言語（OCL）のサブセットに基づく、仕様と情報検証システムのためのシステムです。（"Hosted Apps"を経由して到達可能な）Mantisを使用して遭遇した全てのバグを報告してください。
