Programmatūras izstrādes rīks, kas izveido izsekojamības starp uzskaitījuma programmatūras prasību specifikācijas, dizaina elementi, koda elementi un precedentiem. Tā arī atbalsta dažādu saistīto vaicājumu, analīzes un atskaišu ģenerēšanas iespējas.