Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. ER Model Transformation

ER Model Transformation

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 3.0/5 - ‎1 ‎Undi
Muat turun

Entiti dan perhubungan ditentukan sebagai jenis yang ditakrifkan pengguna. Kami akan menggunakan alat membuktikan PVS. Pengesahan melibatkan membuktikan keadaan ketepatan jenis yang dihasilkan secara automatik oleh pemeriksa jenis.

sejarah versi

  • Versi N/A diposkan pada 2010-03-12
    Beberapa pembaikan dan pengemaskinian
  • Versi N/A diposkan pada 2010-03-12

Butiran Atur Cara

Atur Cara Berkaitan

  • Guile XMMS Percuma

    Satu set ikatan membolehkan program Guile mengawal XMMS.

  • Gnome 2 applet simplified Percuma

    Gnome 2 aplet dipermudahkan adalah atempt untuk membuatlebih mudah untuk menulis aplet panel gnome 2 dan untuk port windowmaker aplets. Ia adalah perpustakaan / rangka yang menyediakan fungsi yang paling biasa yang anda

  • DataStructures,Algorithms,AutomataTheory Percuma

    perpustakaan kelas yang mengandungi koleksi struktur data, beberapa algoritma mengikut teknik reka bentuk algoritma, beberapa penerangan mengenai teknik yang dikumpulkan oleh saya, algoritma mengenai bahasa formal dan teori a

  • Sky Pilot Percuma

    Sky Pilot adalah pelaksanaan baru bahasa pengaturcaraan PILOT standard IEEE. Ia mudah alih kepada semua sistem operasi moden, dan direka untuk menjadi mudah digunakan dan terkini.

  • MCRS-Radio Scheduler Percuma

    MCRS adalah ment untuk berfungsi sebagai perisian penjadualan untuk stesen radio. Matlamatnya adalah untuk menyediakan alternatif kepada produk komersial yang berbelanja untuk bermain muzik, ginggles dan publisiti pada sistem

  • RACER Project Percuma

    Pengumpulan Projek dan Alat untuk digunakan dengan enjin penaakulan semantik RacerPro. RacerManager adalah projek pertama yang terdapat dalam koleksi ini. RacerManager telah dibangunkan untuk berkhidmat sebagai pelayan aplika

  • XFiler Percuma

    XFiler adalah sistem pengurusan kandungan berasaskan J2EE yang membolehkan pengguna untuk memfailkan kandungan, profil metadata, mengekalkan sejarah versi dan akses selamat.

  • Star Template for JSPWiki Percuma

    & quot;Star Template for JSPWiki" adalah templat untuk JSPWiki (jspwiki.org). Kami menyediakan edisi Cina Ringkas sekarang, dan mungkin kita akan menyediakan edisi Inggeris, Cina Tradisional, Jepun pada masa akan

  • Orangevolt EclipseXUL Percuma

    EclipseXUL adalah Ciri Gerhana menambah sokongan XUL ke platform Gerhana. Ciri ini termasuk Pendeta, Penyunting, Alam Semula Jadi, Konfigurasi Pelancaran, Bantuan Dalam Talian dan sebagainya. EclipseXUL digantikan oleh XULBoo

  • cairngorm Percuma

    Cairngorm meletakkan asas untuk menyampaikan projek Flex dan AIR yang berjaya.