Maude Development Tools

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 3.0/5 - ‎1 ‎Undi

Tentang Maude Development Tools

Alat Pembangunan Maude adalah satu set plugin yang membenamkan jurubahasa maude (http://maude.cs.uiuc.edu) dalam Gerhana. Ia menyediakan plugin teras, yang membolehkan mana-mana program Java untuk menggunakan Maude, dan satu set plugin yang menyediakan IDE berasaskan Gerhana