أداة تطوير برمجيات التي تثبت إمكانية تتبع بين مواصفات متطلبات البرمجيات مفصل، وعناصر التصميم وعناصر التعليمات البرمجية، وحالات الاختبار. كما أنها تدعم مختلف المرتبطة الاستعلام والتحليل، وقدرات توليد التقرير.