โปรแกรมตาม www.db.informatik.uni-bremen.de/projects/use/

USE เป็นระบบสําหรับข้อมูลจําเพาะและการตรวจสอบความถูกต้องของระบบข้อมูลตามชุดย่อยของภาษาการสร้างโมเดลแบบรวม (UML) และภาษาข้อจํากัดของวัตถุ (OCL) โปรดรายงานข้อบกพร่องที่พบโดยใช้ Mantis (สามารถเข้าถึงได้ผ่าน & quot;แอพที่โฮสต