USE is a system for the specification and validation of information systems based on a subset of the Unified Modeling Language (UML) and the Object Constraint Language (OCL). Please report any encountered bugs using the ticket system.
The USE documentation can be found on the project homepage linked below.
Downloads for the most popular plugins can be found here:
http://sourceforge.net/projects/useocl/files/Plugins/