CaseComplete is available on all our Windows machines. It helps manage UML use cases and requirements and also has some nice drawing tools. You can also download trial software for yourself.
We are in the process of installing Teleologic DOORS tool for requirements management.
UML tools
Viso is available on all our Prism Windows Machines
Magicdraw is available on our Windows machines and Linux (magicdraw).