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

USE es un sistema para la especificación y validación de sistemas de información basado en un subconjunto del lenguaje de modelado unificado (UML) y el lenguaje de restricción de objetos (OCL). Por favor, informe de cualquier