Ini ialah apl Linux bernama autoCode4 yang keluaran terbaharunya boleh dimuat turun sebagai autoCode4_v1.0.0.zip. Ia boleh dijalankan dalam talian dalam penyedia pengehosan percuma OnWorks untuk stesen kerja.
Muat turun dan jalankan dalam talian apl bernama autoCode4 ini dengan OnWorks secara percuma.
Ikut arahan ini untuk menjalankan apl ini:
- 1. Memuat turun aplikasi ini dalam PC anda.
- 2. Masukkan dalam pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang anda mahukan.
- 3. Muat naik aplikasi ini dalam pengurus filem tersebut.
- 4. Mulakan OnWorks Linux dalam talian atau emulator dalam talian Windows atau emulator dalam talian MACOS dari tapak web ini.
- 5. Daripada OS Linux OnWorks yang baru anda mulakan, pergi ke pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXX dengan nama pengguna yang anda mahukan.
- 6. Muat turun aplikasi, pasang dan jalankan.
SKRIN
Ad
autoKod4
DESCRIPTION
autoCode4 ialah enjin yang mensintesis pengawal daripada spesifikasi formal yang diterangkan di bawah subset logik temporal linear (LTL).Yang penting, ia mensintesis pengawal aliran data segerak (dalam Lustre atau dalam bentuk Ptolemy II) dan mengekalkan kebolehkesanan keperluan-ke-kod. Ciri sedemikian diberi mandat dalam membangunkan sistem kritikal keselamatan dan dianggap penting untuk pengesahan spesifikasi atau penyepaduan pelaksanaan manual seperti kod warisan.
Spesifikasi LTL menangkap gelagat pengawal yang dikehendaki di mana persekitaran mengambil langkah pertama (iaitu, deria/input kemudian bertindak balas/output), jadi pengawal yang disintesis boleh dilihat sebagai mesin Mealy.
Tutorial langkah demi langkah tersedia dalam pakej perisian.
Ciri-ciri
- Kawalan sintesis daripada spesifikasi formal
- Menghasilkan laporan kebolehkesanan keperluan-ke-modul
Penonton
Aeroangkasa, Teknologi Maklumat, Sains/Penyelidikan, Pembuatan, Pembangun
Antaramuka pengguna
Konsol/Terminal, Baris Perintah
Bahasa Pengaturcaraan
Java
Ini ialah aplikasi yang juga boleh diambil daripada https://sourceforge.net/projects/autocode4/. Ia telah dihoskan dalam OnWorks untuk dijalankan dalam talian dengan cara yang paling mudah daripada salah satu Sistem Operasi percuma kami.
