Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. ER Model Transformation

ER Model Transformation

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 3.0/5 - ‎1 ‎Suara
Download

Entitas dan hubungan ditentukan sebagai tipe yang ditentukan pengguna. Kami akan menggunakan alat pembuktian PVS. Verifikasi melibatkan pembuktian kondisi kebenaran jenis yang dihasilkan secara otomatis oleh pemeriksa tipe.

Riwayat versi

  • Versi N/A diposting di 2010-03-12
    Beberapa perbaikan dan pembaruan
  • Versi N/A diposting di 2010-03-12

Detil Program

Program Terkait

  • Guile XMMS Gratis

    Seperangkat pengikatan memungkinkan program Guile untuk mengontrol XMMS.

  • Gnome 2 applet simplified Gratis

    Gnome 2 applet disederhanakan adalah athempt untuk membuatlebih mudah untuk menulis applet panel gnome 2 dan untuk port windowmaker applets. Ini adalah perpustakaan / skelleton yang menyediakan fungsi paling umum yang And

  • DataStructures,Algorithms,AutomataTheory Gratis

    perpustakaan kelas yang berisi kumpulan struktur data, beberapa algoritma sesuai dengan teknik desain algoritma, beberapa deskripsi tentang teknik yang dikumpulkan oleh saya, algoritma mengenai bahasa formal dan teori automat

  • Sky Pilot Gratis

    Sky Pilot adalah implementasi baru dari bahasa pemrograman PILOT standar IEEE. Ini portabel untuk semua sistem operasi modern, dan dirancang agar mudah digunakan dan diperbarui.

  • MCRS-Radio Scheduler Gratis

    MCRS adalah ment untuk berfungsi sebagai perangkat lunak penjadwalan untuk stasiun radio. Tujuannya adalah untuk memberikan alternatif untuk produk komersial yang murah untuk bermain musik, ginggle, dan publisitas pada sistem

  • RACER Project Gratis

    Koleksi Proyek dan Alat yang akan digunakan dengan mesin penalaran semantik RacerPro. RacerManager adalah proyek pertama yang tersedia dalam koleksi ini. RacerManager telah dikembangkan untuk berfungsi sebagai server aplikasi

  • XFiler Gratis

    XFiler adalah sistem manajemen konten berbasis J2EE yang memungkinkan pengguna untuk file konten, metadata profil, mempertahankan riwayat penerapan versi dan akses aman.

  • Star Template for JSPWiki Gratis

    "Template Bintang untuk JSPWiki" adalah templat untuk JSPWiki (jspwiki.org). Kami menyediakan edisi Cina Sederhana sekarang, dan mungkin kami akan menyediakan bahasa Inggris, Cina Tradisional, edisi Jepang di masa d

  • Orangevolt EclipseXUL Gratis

    EclipseXUL adalah Fitur Eclipse yang menambahkan dukungan XUL ke platform Eclipse. Fitur ini mencakup Wizards, Editor, Natures, Launch Configurations, Bantuan Online, dll. EclipseXUL di-superced oleh XULBooster (http://www.xu

  • cairngorm Gratis

    Cairngorm meletakkan fondasi untuk memberikan proyek Flex dan AIR yang sukses.