Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. Maude MSOS Tool

Maude MSOS Tool

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

Maude MSOS Tool adalah persekitaran formal untuk spesifikasi Semantik Operasi Struktur Modular. Ia amat berguna untuk spesifikasi rasmi bahasa pengaturcaraan dan sistem serensahkan.

sejarah versi

  • Versi N/A diposkan pada 2011-08-12
    Beberapa pembaikan dan pengemaskinian
  • Versi N/A diposkan pada 2011-08-12

Butiran Atur Cara

Atur Cara Berkaitan

  • Intuitive Neural Network Percuma

    Rangkaian Neural Intuitif adalah perisian yang disemai untuk tujuan CAE (Computer Aided Education) dalam Kecerdasan Buatan.

  • Digital Camera EXIF Backup Percuma

    Aplikasi Java sandaran EXIF mudah yang membaca tarikh diambil tag daripada imej dan klon fail ke lokasi sasaran menggunakan struktur direktori corak tarikh yang telah ditetapkan.

  • TUPA - The Ultimate PowerDNS Admin Percuma

    TUPA adalah barisan pentadbiran PowerDNS berasaskan web yang diindahkan dalam PHP / Javascript (AJAX) / MySQL.Menyokong penciptaan kumpulan, pengguna dan templat.

  • Surfraw - Shell Revolutionary Front Percuma

    Surfraw - Kemarahan Barisan Revolusi Pengguna Cangkerang Terhadap Web. Surfraw menyediakan antara muka garis arahan unix yang cepat kepada pelbagai popular WWW enjin carian dan artifak kuasa lain. Forsake GUI idolatry! Pulang

  • Cybios Digital Community Percuma

    Cybios adalah permainan dalam talian-Cybercommunity berdasarkan Avatars yang berinteraksi di bandar-bandar maya. Sebagai Avatar anda boleh hidup, bekerja dan bermain dalam komuniti Digital seperti RealWorld. Di Cybios semua b

  • OWLmt Percuma

    OWLmt adalah alat pemetaan ontologi berdasarkan spesifikasi Bahasa Ontologi Web (OWL). Ia menyediakan antara muka pengguna grafik untuk menentukan pemetaan antara dua skema ontologi. Ia menyediakan enjin untuk mencapai medita

  • Maven Wiki Plugin Percuma

    Maven Wiki Plugin mendapatkan dokumentasi dari Sistem Wikis yang berbeza dan mencipta fail XDoc untuk pemprosesan selanjutnya oleh pemalam Maven lain seperti plugin PDF atau plugin XDoc.

  • Input Abstraction Layer Percuma

    Lapisan Abstrak Input (IAL) adalah projek yang membuat kunci khas (contohnya kekunci multimedia, kekunci fungsi yang terdapat pada buku nota) & sebut harga;hanya kerja&sebut harga;. IAL menyediakan daemon yang boleh d

  • iChooChoo Percuma

    iChooChoo adalah simulator kereta api rangkaian jawa yang berpangkalan di Java, lengkap dengan bunyi dan animasi. Buat susun atur trek tersuai, dan juga mempunyai kereta api melawat komputer lain! Reka bentuk pengaturcaraan

  • Commons for Java 5 Percuma

    Penyelesaian untuk masalah biasa dalam jawa menggunakan ciri bahasa baru seperti anotasi generik autoboxing varargs ...