プログラム www.db.informatik.uni-bremen.de/projects/use/

USE は、統一モデリング言語 (UML) およびオブジェクト制約言語 (OCL) のサブセットに基づく情報システムの仕様と検証のためのシステムです。Mantis を使用して発生したバグを報告してください ("ホストされたアプリ"を経由して到達可能)。