Ένα εργαλείο ανάπτυξης λογισμικού που θεσπίζει η ανιχνευσιμότητα, μεταξύ προδιαγραφές απαιτήσεων των αναλυτικών λογισμικού, στοιχεία σχεδίασης, στοιχεία κώδικα και δοκιμή περιπτώσεις. Υποστηρίζει επίσης διάφορες σχετικές ερώτημα, η ανάλυση και δυνατότητες δημιουργίας έκθεσης.