Maude Development Tools

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

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

sejarah versi

  • Versi files diposkan pada 2010-10-27
    Beberapa pembaikan dan pengemaskinian
  • Versi N/A diposkan pada 2010-10-27

Butiran Atur Cara