ER Model Transformation
Sarai in grado di scaricare in 5 secondi.
Puoi anche fare clic sul seguente link per il download esterno per iniziare il download:
http://ermt.svn.sourceforge.net/
Circa ER Model Transformation
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.
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.