USEは、統一モデリング言語（UML）とオブジェクト制約言語（OCL）のサブセットに基づく、仕様と情報検証システムのためのシステムです。（"Hosted Apps"を経由して到達可能な）Mantisを使用して遭遇した全てのバグを報告してください。
