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")
Useocl is good! Thanks.
We have been using OCL in several Experimental Software Engineering research projects at the QUASAR group in Portugal. The USE tool has been used intensively and successfully in those projects for many years. Thank you guys at Bremen University! Fernando Brito e Abreu (QUASAR group leader)
a great program that I've been using for several years to teach OCL in ESIL, Marseille. Thanks Mark and Martin. Laurent