開發者 www.db.informatik.uni-bremen.de/projects/use/

USE 是基於統一建模語言 （UML） 和物件約束語言 （OCL） 的子集對資訊系統進行規範和驗證的系統。請回報使用曼蒂斯遇到的任何錯誤（可透過 "託管應用程式" 存取;）