Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. WATERS

WATERS

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

Perairan - Alat Analisis Waikato untuk Peristiwa dalam Sistem Reaktif. Perangkat lunak ini akan memungkinkan pengguna untuk membuat model mesin status terbatas dalam antarmuka pengguna grafis, untuk mensimulasikan eksekusi mereka, dan menerapkan algoritma pemeriksaan model kepada mereka.

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

  • XML Template Processor Gratis

    Standar ISO berbasis XML untuk dokumen (OOXML, ODF, XHTML ...) telah memfasilitasi tugas pembuatan laporan. Pustaka JAVA XTP ( Pemroses Template XML) mengisi templat laporan (dibuat oleh desainer) dengan data mentah (dalam fo

  • Rule MANager for Snort Gratis

    Aturan MANagaer untuk Snort Addon PHP untuk snort untuk mengelola aturan pada beberapa sensor dariSnort MySQL db pusat.Fitur Utama: Aturan penggabungan menurut grup dari snort CVS.Pembaruan sensor otomatis dari DB pus

  • GraphStream Gratis

    Pustaka Java dan sekumpulan alat untuk memanipulasi grafik dengan cepat dan mudah (kumpulan node dan tepi) dan grafik dinamis. Sifat utama pustaka ini adalah kemampuannya untuk mengelola grafik yang terus berkembang (buat, ed

  • Cut Order Plan Gratis

    Cut-Order Plan adalah alat yang digunakan dalam industri garmen untuk membuat rencana pemotongan. Fitur:-*Saat ini menangani kain tunggal pada satu waktu.*Bekerja untuk kemungkinan penanda minimum.*Option untuk menambahkan ko

  • Japano Webapplication Toolkit Gratis

    Japano adalah toolkit dan mesin aplikasi web berbasis java-servlet. Ini menawarkan logika situs web yang mudah dan pembuatan formulir HTML dan menawarkan integrasi pembaruan javascript dinamis (AJAX). Contoh webapp memudahkan

  • Reboot Control Widget Uji Coba Gratis

    Reboot WidgetAKSES ROOT DIPERLUKAN***Widget ini akan memungkinkan Anda untuk me-reboot perangkat apa pun termasuk Fitur:RebootHot BootReboot ke PemulihanReboot ke BootloaderMatikan DayaHapus Perangkat

  • OpenWiz Gratis

    OpenWiz adalah proyek yang membantu pengembangan perangkat lunak open source untuk mesin genggam GamePark Holdings Wiz. Kami akan menjaga akses publik ke sumber kernel serta menyediakan firmware, alat pengembangan, dan dokume

  • JCortex (Neural Networks Framework) Gratis

    JCortex adalah solusi lengkap yang memungkinkan pengembang perangkat lunak membuat, mendidik, dan menggunakan Jaringan Saraf Buatan dalam proyek Java. Pemisahan dalam dua elemen: JCortex Framework, kerangka kerja ANN Java; da

  • QPythonShell Gratis

    Python Shell telah dibangun dari Qt, QScintilla dan Python C API secara langsung, yang menampilkan penyorotan sintaks dan penyelesaian kode sederhana melalui Qt GUI. Diharapkan bahwa Widget Qt dapat dibangun dari itu pada akh

  • xacc.ide Gratis

    xacc.ide adalah IDE opensource yang ditujukan terutama pengembangan .NET. Ini memiliki editor kode yang ditulis dalam kode 100% C #, yang lebih cepat daripada kebanyakan penawaran komersial.