Maude Development Tools

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

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