Programma's van www.db.informatik.uni-bremen.de/projects/use/

USE is een systeem voor de specificatie en validatie van informatiesystemen op basis van een subset van de Unified Modeling Language (UML) en de Object Constraint Language (OCL). Meld eventuele aangetroffen bugs met Mantis (b