Kirim Perangkat Lunak
  1. Rumah
  2. Linux
  3. Lain
  4. ACM code generator

ACM code generator 1.0

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

ACMgen adalah generator kode otomatis dari Mekanisme Komunikasi Asinkron berdasarkan generasi model jaring Petri yang dapat diverifikasi secara resmi terhadap beberapa properti dan kemudian diubah menjadi implementasi nyata (misalnya.C++ atau Verilog).

Riwayat versi

  • Versi 1.0 diposting di 2008-03-10
    Beberapa perbaikan dan pembaruan
  • Versi 1.0 diposting di 2008-03-10

Detil Program

Program Terkait

  • Jump from SOAP to REST with WSDL2REST Gratis

    Rantai alat yang memungkinkan migrasi cepat dari implementasi layanan web SOAP yang ada ke implementasi layanan web RESTful dengan menggunakan poros definiasi WSDL bersama dengan layanan impl. Kelas. (Dev. oleh sekelompok htt

  • DOSBox Launch Pad Gratis

    Mengonfigurasi DOSBox bisa sedikit menakutkan, jadi saya memutuskan untuk menulis proyek VB.Net yang menyediakan GUI untuk mengontrol banyak entri dalam file DOSBox .conf.

  • DMG Automounter for Linux Gratis

    DMG Automounter adalah skrip nautilus yang memungkinkan distribusi Linux untuk memasang file Mac OS X .dmg (tetapi tidak menginstalnya, karena itu akan memerlukan API Mac OS X yang merupakan sumber tertutup). README memiliki

  • APEX Imaging Spectrometer Tools Gratis

    APEX Tools adalah kumpulan utilitas yang digunakan bersamaan dengan pemrosesan data hiperspektral udara yang dikembangkan untuk ESA-Prodex yang didukung Airborne Prism EXperiment (APEX).

  • MGP Gratis

    Plugin Maven GWT digunakan untuk mengompilasi file sumber JavaScript dari sumber Java. Plugin menjalankan GWTCompiler, memungkinkan untuk mengkonfigurasi opsi kompilasi, secara otomatis mendeteksi lokasi file sumber dan sumbe

  • PHP Toolbox Gratis

    PHP Toolbox dirancang untuk membuat proses pembuatan database-poweredsitus web lebih mudah. Ini menggunakan pengembangan iteratif atau langkah demi langkahParadigma. Fungsionalitas utama ditangani oleh kelas Tabel / Formu

  • Java Modeling Language (JML) Gratis

    Java Modeling Language (JML) adalah bahasa spesifikasi antarmuka perilaku yang dapat digunakan untuk menentukan perilaku modul Java (seperti dalam desain berdasarkan kontrak -- DBC). Ini memiliki banyak alat untuk melakukan p

  • Sample YouTube Player Gratis

    Contoh Aplikasi untuk proyek github SimpleYouTubePlayerhttps://github.com/TheFinestArtist/SimpleYouTubePlayerGagang Aktivitas YouTubePlayerMasalah Orientasi (dengan mode Rotasi Otomatis)Rotasi Otomatis NYAP: Anda

  • Gelide Gratis

    Gelide adalah frontend yang dapat dikonfigurasi yang memungkinkan Anda mengelola segala jenis sistem yang ditiru (arcade, konsol, PC, dll) memungkinkan Anda untuk membuat katalog dan meluncurkan game apa pun dari emulator yan

  • HMI User Control Gratis

    Apa yang kau lihat di sini? Tujuan dari proyek Kontrol Pengguna adalah untuk membuat beberapa Kontrol Pengguna untuk antarmuka sistem PLC ke aplikasi HMI membangun Di Bawah Win32. Setiap kerjasama akan sangat dihargai. (IT) L