One of their software products is a Requirement Traceability tool call SLATE. Per their website [L1 ] they are currently on version 6.0 of SLATE [L2 ] which uses Tcl/Tk 8.0.5 (and TclPro).
per their website...
SLATE (System Level Automation Tool for Enterprises) addresses these problems by: * Bringing requirements to everyone on a project--requirement groupware (ensuring that no one is working from stale information) * Integrating requirements with the design (where requirements can influence design towards compliance, rather than testing/integrating compliance in later) *Providing accurate design documentation that is a reflection of the team-captured design (changing design changes the documentation)