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

O USO é um sistema de especificação e validação de sistemas de informação baseado num subconjunto da Linguagem de Modelação Unificada (UML) e da Linguagem de Restrição de Objetos (OCL). Por favor, informe quaisquer bugs encon