Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. ER Model Transformation

ER Model Transformation

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 3.0/5 - ‎1 ‎Votes
Télécharger

Les entités et les relations sont spécifiées sous forme de types définis par l’utilisateur. Nous utiliserons l’outil d’essai PVS. La vérification consiste à prouver les conditions de correction de type qui sont générées automatiquement par le correcteur de type.

historique de la version

  • Version N/A posté sur 2010-03-12
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2010-03-12

Détails du programme

Programmes connexes

  • Guile XMMS Gratuit

    Un ensemble de liaisons permettant aux programmes Guile de contrôler XMMS.

  • Gnome 2 applet simplified Gratuit

    Gnome 2 applet simplifié est un athempt à faireil est plus facile d’écrire des pommes gnome 2 panneau et aux pommes de fenêtre de port. Il s’agit d’une bibliothèque/skelleton qui fournit les fonctions les plus courantes q

  • DataStructures,Algorithms,AutomataTheory Gratuit

    une bibliothèque de classe contenant une collection de structures de données, quelques algorithmes selon des techniques de conception d’algorithme, quelques descriptions au sujet de que les techniques rassemblées par moi, alg

  • Sky Pilot Gratuit

    Sky Pilot est une nouvelle mise en œuvre du langage de programmation PILOT standard de l’IEEE. Il est portable à tous les systèmes d’exploitation modernes, et est conçu pour être facile à utiliser et à jour.

  • MCRS-Radio Scheduler Gratuit

    MCRS est ment de servir de logiciel de planification pour les stations de radio. L’objectif est de fournir une alternative aux produits commerciaux expécatifs pour jouer de la musique, des ginggles et de la publicité sur les

  • RACER Project Gratuit

    Collection de projets et d’outils à utiliser avec le moteur de raisonnement sémantique RacerPro. RacerManager est le premier projet disponible dans cette collection. RacerManager a été développé pour servir de serveur d’appli

  • XFiler Gratuit

    XFiler est un système de gestion de contenu basé sur J2EE qui permet à l’utilisateur de déposer du contenu, des métadonnées de profil, de maintenir l’historique de version et un accès sécurisé.

  • Star Template for JSPWiki Gratuit

    "Star Template pour JSPWiki" est un modèle pour JSPWiki (jspwiki.org). Nous fournissons l’édition chinoise simplifiée maintenant, et peut-être nous fournirons l’anglais, le chinois traditionnel, l’édition japonaise

  • Orangevolt EclipseXUL Gratuit

    EclipseXUL est une fonctionnalité Eclipse ajoutant une prise en charge XUL à la plate-forme Eclipse. La fonctionnalité inclut wizards, éditeurs, natures, configurations de lancement, aide en ligne, etc. EclipseXUL est remplac

  • cairngorm Gratuit

    Cairngorm pose les bases de la réussite des projets Flex et AIR.