Bahasa dan alat pengaturcaraan yang membenarkan: penjanaan kod mudah untuk Java,C#,C++,..; mengesahkan ketepatan kod dan sifat formal. Tujuannya adalah untuk membolehkan kebolehgunaan maksimum komponen (tanpa kebergantungan bahasa), serta membuktikan ketepatannya.
sejarah versi
- Versi N/A diposkan pada 2011-08-09
Beberapa pembaikan dan pengemaskinian - Versi N/A diposkan pada 2011-08-09
Butiran Atur Cara
- Kategori: Pembangunan > Lain
- Penerbit: guml.sf.net
- Lesen: Percuma
- Harga: N/A
- Versi: Array
- Platform: windows