Programmi di www.db.informatik.uni-bremen.de/projects/use/

USE è un sistema per la specifica e la convalida di sistemi informativi basato su un sottoinsieme dell'UML (Unified Modeling Language) e dell'Object Constraint Language (OCL). Segnala eventuali bug riscontrati utilizzando Man