द्वारा कार्यक्रम www.db.informatik.uni-bremen.de/projects/use/

उपयोग एकीकृत मॉडलिंग भाषा (यूएमएल) और ऑब्जेक्ट बाधा भाषा (ओसीएल) के सबसेट के आधार पर सूचना प्रणालियों के विनिर्देश और सत्यापन के लिए एक प्रणाली है। मैंटिस का उपयोग करके किसी भी सामना किए गए बग की रिपोर्ट करें (पहुंच योग्य और