Programy według www.db.informatik.uni-bremen.de/projects/use/

USE to system specyfikacji i walidacji systemów informatycznych oparty na podzbiorze języka Unified Modeling Language (UML) i Language ograniczenia obiektu (OCL). Zgłaszaj wszelkie napotkane błędy za pomocą Modliszki (dostępn