Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. Maude MSOS Tool

Maude MSOS Tool

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

Maude MSOS Tool adalah lingkungan formal untuk spesifikasi spesifikasi Modular Structural Operational Semantics. Ini sangat berguna untuk spesifikasi formal bahasa pemrograman dan sistem bersamaan.

Riwayat versi

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

Detil Program

Program Terkait

  • Intuitive Neural Network Gratis

    Jaringan Saraf Intuitif adalah perangkat lunak yang disusun untuk tujuan CAE (Computer Aided Education) dalam Kecerdasan Buatan.

  • Digital Camera EXIF Backup Gratis

    Aplikasi Java cadangan EXIF sederhana yang membaca tag tanggal diambil dari gambar dan mengkloning file ke lokasi target menggunakan struktur direktori pola tanggal yang telah ditentukan.

  • TUPA - The Ultimate PowerDNS Admin Gratis

    TUPA adalah frontend administrasi PowerDNS berselaput yang diprogram dalam PHP / Javascript(AJAX) / MySQL.Mendukung pembuatan grup, pengguna, dan templat.

  • Surfraw - Shell Revolutionary Front Gratis

    Surfraw - Kemarahan Front Revolusioner Pengguna Shell Terhadap Web. Surfraw menyediakan antarmuka baris perintah unix yang cepat ke berbagai mesin pencari WWW populer dan artefak daya lainnya. Meninggalkan GUI berhala! Aposat

  • Cybios Digital Community Gratis

    Cybios adalah Game-Cybercommunity online berdasarkan Avatar yang berinteraksi di kota-kota virtual. Sebagai Avatar Anda dapat hidup, bekerja dan bermain di Komunitas Digital seperti RealWorld. Di Cybios semua bisa terjadi. (t

  • OWLmt Gratis

    OWLmt adalah alat pemetaan ontologi berdasarkan spesifikasi Web Ontology Language (OWL). Ini menyediakan antarmuka pengguna grafis untuk menentukan pemetaan antara dua skema ontologi. Ini menyediakan mesin untuk mencapai medi

  • Maven Wiki Plugin Gratis

    Plugin Maven Wiki mengambil dokumentasi dari Sistem Wiki yang berbeda dan membuat file XDoc untuk diproses lebih lanjut oleh plugin Maven lainnya seperti plugin PDF atau plugin XDoc.

  • Input Abstraction Layer Gratis

    Input Abstraction Layer (IAL) adalah proyek yang membuat tombol khusus (misalnya tombol multimedia, tombol fungsi yang ditemukan pada notebook) "hanya work". IAL menyediakan daemon yang dapat ditingkatkan oleh modul

  • iChooChoo Gratis

    iChooChoo adalah simulator kereta berjaringan berbasis Java, lengkap dengan suara dan animasi. Buat tata letak trek khusus, dan bahkan memiliki kereta mengunjungi komputer lain! Desain pemrograman modular. Berjalan dan ber

  • Commons for Java 5 Gratis

    Solusi untuk masalah umum dalam java menggunakan fitur bahasa baru seperti anotasi generik autoboxing varargs ...