Enviar software
  1. Casa
  2. Windows
  3. Otro
  4. ER Model Transformation
  5. Download

ER Model Transformation

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 3.0/5 - ‎1 ‎Votos

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.