Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. ER Model Transformation

ER Model Transformation

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 3.0/5 - ‎1 ‎Stemmen
Downloaden

Entiteiten en relaties worden opgegeven als door de gebruiker gedefinieerde typen. We zullen gebruik maken van PVS proving tool. De verificatie omvat het bewijzen van de typecorrectheidsvoorwaarden die automatisch door de typechecker worden gegenereerd.

versiegeschiedenis

  • Versie N/A geplaatst op 2010-03-12
    Verschillende oplossingen en updates
  • Versie N/A geplaatst op 2010-03-12

Programmadetails

Gerelateerde programma's

  • Guile XMMS Gratis

    Een set bindingen waarmee Guile-programma's XMMS kunnen bedienen.

  • Gnome 2 applet simplified Gratis

    Gnome 2 applet vereenvoudigd is een thema om te makenhet gemakkelijker om kabouter 2 panel applets schrijven en de port windowmaker applets. Het is een bibliotheek/skelleton die de meest voorkomende functies biedt die u

  • DataStructures,Algorithms,AutomataTheory Gratis

    een klasse bibliotheek met een verzameling van gegevensstructuren, sommige algoritmen volgens algoritme ontwerptechnieken, sommige beschrijvingen over die technieken verzameld door mij, algoritmen met betrekking tot formele t

  • Sky Pilot Gratis

    Sky Pilot is een nieuwe implementatie van de IEEE-standaard PILOT programmeertaal. Het is draagbaar voor alle moderne besturingssystemen, en is ontworpen om gemakkelijk te gebruiken en up-to-date.

  • MCRS-Radio Scheduler Gratis

    MCRS is ment om te dienen als een planning software voor radiostations. Het doel is om een alternatief te bieden voor commerciële producten voor het afspelen van muziek, ginggles en publiciteit op radiostation systemen.

  • RACER Project Gratis

    Verzameling van projecten en tools te gebruiken met de semantische redeneren motor RacerPro. RacerManager is het eerste project in deze collectie. RacerManager is ontwikkeld om te dienen als OWL-QL applicatie server voor Race

  • XFiler Gratis

    XFiler is een op J2EE gebaseerd contentmanagementsysteem waarmee gebruikers inhoud kunnen indienen, metagegevens kunnen profileren, versiegeschiedenis kunnen behouden en toegang kan beveiligen.

  • Star Template for JSPWiki Gratis

    "Star Template for JSPWiki" is een template voor JSPWiki (jspwiki.org). Wij bieden vereenvoudigde Chinese editie nu, en kan worden zullen we Engels, Traditionele Chinese, Japanse editie in de toekomst. Het is gelice

  • Orangevolt EclipseXUL Gratis

    EclipseXUL is een Eclipse Feature die XUL-ondersteuning toevoegt aan het Eclipse-platform. De functie bevat Wizards, Editors, Natures, Launch Configurations, Online Help etc. EclipseXUL wordt vervangen door XULBooster (http:/

  • cairngorm Gratis

    Cairngorm legt de basis voor het leveren van succesvolle Flex- en AIR-projecten.