Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. G-UML

G-UML

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

Bahasa dan alat pemrograman memungkinkan: pembuatan kode mudah untuk Java,C#,C++,..; verifikasi kebenaran kode dan properti formal. Tujuannya adalah untuk memungkinkan reusabilitas maksimum komponen (tanpa ketergantungan bahasa), serta membuktikan kebenarannya.

Riwayat versi

  • Versi N/A diposting di 2011-08-09
    Beberapa perbaikan dan pembaruan
  • Versi N/A diposting di 2011-08-09

Detil Program

Program Terkait

  • XBMC / Boxee Remote Gratis

    Remote control untuk XBMC / Boxee.TOLONG BONGKAR v1.0!!!v3.1* Dukungan profil dalam preferensiv2.2* Perbaikan bug kecilv2.1* Perbaikan bug kecil untuk membuatnya bekerja dengan windows XBMCv2.0* Ikon yang le

  • tksolfege ear training program Gratis

    Tksolfege adalah program pelatihan telinga untuk belajar mengenali akor, interval, melakukan dikte ritme, dikte solfege dan menyanyikan urutan solfege. Program ini memerlukan Tcl/Tk 8.4, namun Windows yang dapat dieksekusi me

  • cfGlitch Gratis

    cfGlitch adalah sistem pelacakan bug perangkat lunak sederhana yang ditulis dalam Cold Fusion. Itu dirancang untuk berjalan di stasiun kerja pengembang (ideal untuk konsultan) serta server pengembangan (untuk tim pengembang

  • Adv Battery Savior Gratis

    Widget Baterai dengan daya tahan baterai estimasi. Anda dapat mengoptimalkan masa pakai baterai dengan aplikasi ini untuk mematikan perangkat bluetooh, perangkat wifi, kecerahan layar, dan membunuh beberapa aplikasi yang tida

  • AutoIT in Ada Gratis

    Ini adalah pengikatan Ada ke AutoITX antarmuka otomatisasi Uji untuk antarmuka Pengguna Grafis win32.

  • btPair Gratis

    btPair adalah Pembantu Pemasangan Bluetooth. Hal ini gratis sekarang. Pernahkah Anda kesal oleh Android ketika Ingin memasangkan atau melepas pemasangan perangkat Bluetooth? Setiap kali masuk ke Pengaturan->Wireless->Bl

  • phpMD / PHP CodeSniffer Netbeans Plugin Gratis

    Netbeans PHP Plugin yang memberikan pelanggaran yang terdeteksi oleh PHP Mess Detector (phpmd.org oleh Manuel Pichler) dan peringatan / info dari PHP CodeSniffer (http://pear.php.net/package/PHP_CodeSniffer/)

  • Pequel ETL Data Transformation Engine Gratis

    Sistem distribusi &transformasi data yang komprehensif & berkinerja tinggi. Fitur antarmuka skrip yang digerakkan oleh peristiwa sederhana dan ramah pengguna secara transparan menghasilkan & mengeluarkan kode Perl

  • GenealogyGedcom Gratis

    Versi Gedcom 5.5.1 yang sesuai dengan paket pear 2008 Genealogy_Gedcom 2008. Versi baru ini akan menggunakan PHP 5.3 dan mematuhi PEAR2. Dukungan untuk versi Gedcom sebelum 5.5.1 akan dievaluasi berdasarkan permintaan setelah

  • JInsect Gratis

    Toolkit JINSECT adalah toolkit dan library berbasis Java yang mendukung dan menunjukkan penggunaan grafik n-gram dalam aplikasi Pemrosesan Bahasa Alami, mulai dari ringkasan dan evaluasi ringkasan hingga klasikisasi dan pengi