Ini adalah aplikasi Linux bernama XJML yang rilis terbarunya dapat diunduh sebagai XJML1.0.zip. Ini dapat dijalankan secara online di penyedia hosting gratis OnWorks untuk workstation.
Unduh dan jalankan online aplikasi ini bernama XJML dengan OnWorks secara gratis.
Ikuti petunjuk ini untuk menjalankan aplikasi ini:
- 1. Download aplikasi ini di PC Anda.
- 2. Masuk ke file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan username yang anda inginkan.
- 3. Upload aplikasi ini di filemanager tersebut.
- 4. Jalankan emulator online OnWorks Linux atau Windows online atau emulator online MACOS dari situs web ini.
- 5. Dari OS Linux OnWorks yang baru saja Anda mulai, buka file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang Anda inginkan.
- 6. Download aplikasinya, install dan jalankan.
XJML
Ad
DESKRIPSI
XJML 1.0 sebenarnya dapat membaca satu kelas Java dan kontraknya (ditulis dalam XML) dan kemudian mengeksekusi teknik verifikasi berikutnya:
1. Runtime Assertion Checking (RAC). Menggunakan alat JML4c dan JML4rt.
2. Pemeriksaan Statis Diperpanjang (ESC). Menggunakan ESC/Java2.
3. Verifikasi Program Statis Penuh (FSPV). Menggunakan platform Why (diuji dengan Why 2.30 dan Why3 0.71)
Para penonton
Sains/Penelitian, Pendidikan, Pengguna Akhir Lanjutan, Administrator Sistem, Pengembang, Penguji
User interface
Konsol/Terminal, Baris perintah, Eclipse
Bahasa Pemrograman
Jawa
Ini adalah aplikasi yang juga dapat diambil dari https://sourceforge.net/projects/xjml/. Ini telah di-host di OnWorks untuk dijalankan secara online dengan cara termudah dari salah satu Sistem Operasi gratis kami.
