ER Model Transformation
Pobieranie będzie można pobrać w ciągu 5 sekund.
Możesz również kliknąć następujący link do pobierania zewnętrznego, aby rozpocząć pobieranie:
http://ermt.svn.sourceforge.net/
O ER Model Transformation
Jednostki i relacje są określone jako typy zdefiniowane przez użytkownika. Będziemy używać narzędzia do potwierdzania PVS. Weryfikacja polega na udowodnieniu warunków poprawności typu, które są generowane automatycznie przez kontroler typu.
Programy pokrewne
-
Guile XMMS Wolna
Zestaw powiązań umożliwiających programom Guile sterowanie programem XMMS.
-
Gnome 2 applet simplified Wolna
Gnome 2 aplet uproszczony jest athempt dołatwiej jest napisać aplety panelowe gnome 2 i aplety windowmaker. Jest to biblioteka/skelleton, która zapewnia najbardziej typowe funkcje, któretrzeba, gdy piszesz aplety panelo
-
DataStructures,Algorithms,AutomataTheory Wolna
biblioteka klas zawierająca zbiór struktur danych, niektóre algorytmy zgodnie z technikami projektowania algorytmów, niektóre opisy na temat tych technik zebranych przeze mnie, algorytmy dotyczące języków formalnych i teoria
-
Sky Pilot Wolna
Sky Pilot to nowa implementacja standardowego języka programowania IEEE PILOT. Jest przenośny do wszystkich nowoczesnych systemów operacyjnych i został zaprojektowany tak, aby był łatwy w użyciu i aktualny.
-
MCRS-Radio Scheduler Wolna
MCRS jest ment służyć jako oprogramowanie do planowania dla stacji radiowych. Celem jest zapewnienie alternatywy dla produktów komercyjnych do odtwarzania muzyki, ginggles i reklamy w systemach stacji radiowych.
-
RACER Project Wolna
Kolekcja projektów i narzędzi do użycia z silnikiem rozumowania semantycznego RacerPro. RacerManager jest pierwszym projektem dostępnym w tej kolekcji. RacerManager został opracowany, aby służyć jako serwer aplikacji OWL-QL d
-
XFiler Wolna
XFiler to oparty na J2EE system zarządzania treścią, który umożliwia użytkownikowi plikowanie zawartości, metadane profilu, zachowanie historii przechowywania wersji i bezpieczny dostęp.
-
Star Template for JSPWiki Wolna
"Szablon gwiazdy dla JSPWiki&; jest szablonem dla JSPWiki (jspwiki.org). Zapewniamy uproszczoną edycję chińską teraz i być może w przyszłości dostarczymy angielską, tradycyjną chińską, japońską edycję. Jest licencjon
-
Orangevolt EclipseXUL Wolna
EclipseXUL jest funkcją Eclipse dodającą obsługę XUL do platformy Eclipse. Funkcja obejmuje kreatorów, redaktorów, natury, konfiguracje uruchamiania, pomoc online itp. EclipseXUL jest supercededed przez XULBooster (http://www
-
cairngorm Wolna
Cairngorm kładzie podwaliny pod realizację udanych projektów Flex i AIR.