Программы www.db.informatik.uni-bremen.de/projects/use/

USE — это система спецификации и проверки информационных систем, основанная на подмножестве Единого языка моделирования (UML) и языка ограничения объектов (OCL). Пожалуйста, сообщите о любых встречах с ошибками с помощью Mant