![](/statics/img/blank.png)
Maude Development Tools
Lisensi: Gratis Ukuran file: N/A
Peringkat Pengguna: 3.0/5 - 1 Suara
Harap tunggu... Tautan unduhan Anda sedang diverifikasi untuk konten berbahaya.
Anda dapat mengunduh dalam 5 detik.
Anda dapat mengunduh dalam 5 detik.
Tentang Maude Development Tools
Alat Pengembangan Maude adalah satu set plugin yang menanamkan juru bahasa maude (http://maude.cs.uiuc.edu) di Eclipse. Ini menyediakan plugin inti, yang memungkinkan program Java untuk menggunakan Maude, dan satu set plugin yang menyediakan IDE berbasis Gerhana