Programas por www.db.informatik.uni-bremen.de/projects/use/

USE é um sistema para especificação e validação de sistemas de informação baseado em um subconjunto da Linguagem de Modelagem Unificada (UML) e da Linguagem de Restrição de Objeto (OCL). Por favor, denuncie quaisquer bugs enc