ER Model Transformation
Podrás descargarlo en 5 segundos.
También puede hacer clic en el siguiente enlace de descarga externa para iniciar la descarga:
http://ermt.svn.sourceforge.net/
acerca de ER Model Transformation
Las entidades y las relaciones se especifican como tipos definidos por el usuario. Usaremos la herramienta de prueba PVS. La verificación implica probar las condiciones de corrección de tipo generadas automáticamente por el comprobador de tipos.
Programas relacionados
-
Guile XMMS Gratis
Conjunto de enlaces que permiten a los programas de Guile controlar XMMS.
-
Gnome 2 applet simplified Gratis
El applet Gnome 2 simplificado es un ahemo para hacermás fácil escribir applets gnome 2 panel y port windowmaker applets. Es una biblioteca/skelleton que proporciona las funciones más comunes quenecesidad cuando se escr
-
DataStructures,Algorithms,AutomataTheory Gratis
una biblioteca de clases que contiene una colección de estructuras de datos, algunos algoritmos de acuerdo con las técnicas de diseño de algoritmos, algunas descripciones sobre las técnicas recopiladas por mí, algoritmos con
-
Sky Pilot Gratis
Sky Pilot es una nueva implementación del lenguaje de programación PILOT estándar IEEE. Es portátil a todos los sistemas operativos modernos, y está diseñado para ser fácil de usar y actualizado.
-
MCRS-Radio Scheduler Gratis
MCRS sirve como software de programación para estaciones de radio. El objetivo es proporcionar una alternativa a los productos comerciales expencive para la reproducción de música, ginggles y publicidad en los sistemas de est
-
RACER Project Gratis
Colección de Proyectos y Herramientas para ser utilizado con el motor de razonamiento semántico RacerPro. RacerManager es el primer proyecto disponible en esta colección. RacerManager ha sido desarrollado para servir como un
-
XFiler Gratis
XFiler es un sistema de gestión de contenido basado en J2EE que permite al usuario archivar contenido, perfilar metadatos, mantener el historial de control de versiones y un acceso seguro.
-
Star Template for JSPWiki Gratis
"Plantilla de estrella para JSPWiki" es una plantilla para JSPWiki (jspwiki.org). Proporcionamos edición china simplificada ahora, y puede ser que proporcionaremos Inglés, Chino Tradicional, edición japonesa en el f
-
Orangevolt EclipseXUL Gratis
EclipseXUL es una función de Eclipse que añade compatibilidad con XUL a la plataforma Eclipse. La característica incluye asistentes, editores, naturalezas, configuraciones de lanzamiento, Ayuda en línea, etc. EclipseXUL es su
-
cairngorm Gratis
Cairngorm sienta las bases para entregar proyectos exitosos de Flex y AIR.