Invia software
  1. Casa
  2. Windows
  3. Altro
  4. ER Model Transformation

ER Model Transformation

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 3.0/5 - ‎1 ‎Voti
Scaricare

Le entità e le relazioni vengono specificate come tipi definiti dall'utente. Utilizzeremo lo strumento di prova PVS. La verifica comporta la prova delle condizioni di correttezza del tipo generate automaticamente dal controllo del tipo.

cronologia delle versioni

  • Versione N/A pubblicato il 2010-03-12
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2010-03-12

Dettagli del programma

Programmi correlati

  • Guile XMMS Gratuito

    Una serie di associazioni che consentono ai programmi Guile di controllare XMMS.

  • Gnome 2 applet simplified Gratuito

    L'applet Gnome 2 semplificata è un tentativo di fareè più facile scrivere applet a pannello gnomo 2 e portare applet windowmaker. Si tratta di una libreria/skelleton che fornisce le funzioni più comuni che siquando si s

  • DataStructures,Algorithms,AutomataTheory Gratuito

    una libreria di classi contenente una raccolta di strutture di dati, alcuni algoritmi secondo tecniche di progettazione di algoritmi, alcune descrizioni su tali tecniche raccolte da me, algoritmi riguardanti i linguaggi forma

  • Sky Pilot Gratuito

    Sky Pilot è una nuova implementazione del linguaggio di programmazione PILOT standard IEEE. È portatile per tutti i moderni sistemi operativi ed è progettato per essere facile da usare e aggiornato.

  • MCRS-Radio Scheduler Gratuito

    MCRS deve fungere da software di programmazione per le stazioni radio. L'obiettivo è quello di fornire un'alternativa ai prodotti commerciali expencive per la riproduzione di musica, ginggles e pubblicità sui sistemi di stazi

  • RACER Project Gratuito

    Raccolta di progetti e strumenti da utilizzare con il motore di ragionamento semantico RacerPro. RacerManager è il primo progetto disponibile in questa collezione. RacerManager è stato sviluppato per fungere da server applica

  • XFiler Gratuito

    XFiler è un sistema di gestione del contenuto basato su J2EE che consente all'utente di filere contenuto, metadati del profilo, mantenere la cronologia del controllo delle versioni e l'accesso sicuro.

  • Star Template for JSPWiki Gratuito

    "Modello stella per JSPWiki" è un modello per JSPWiki (jspwiki.org). Ora forniamo l'edizione cinese semplificata e potremmo fornire in futuro l'edizione inglese, cinese tradizionale, giapponese. È concesso in licenz

  • Orangevolt EclipseXUL Gratuito

    EclipseXUL è una funzione Eclipse che aggiunge il supporto XUL alla piattaforma Eclipse. La funzione include procedure guidate, editor, nature, configurazioni di avvio, guida in linea, ecc. EclipseXUL è sostituito da XULBoost

  • cairngorm Gratuito

    Cairngorm pone le basi per la realizzazione di progetti Flex e AIR di successo.