Download of ModelValidator1_0_src.zip (ModelValidator1_0_src.zip ( external link: SF.net): 3,523,313 octetos) 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.
