Download of ModelValidatorPlugin.jar (ModelValidatorPlugin.jar ( external link: SF.net): 3,313,829 bytes) will begin shortly. If not so, click link on the left.
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 Mantis (reachable via "Hosted Apps")
The USE documentation can be found on the project homepage linked below.
