Maude Development Tools

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 3.0/5 - ‎1 ‎Głosów

Maude Development Tools to zestaw wtyczek, które osadzają interpretera maude (http://maude.cs.uiuc.edu) w Eclipse. Zapewnia podstawową wtyczkę, która pozwala na dowolny program Java do korzystania z Maude, a zestaw wtyczek, które zapewniają Eclipse oparte IDE

historia wersji

  • Wersja files opublikowany na 2010-10-27
    Kilka poprawek i aktualizacji
  • Wersja N/A opublikowany na 2010-10-27

Szczegóły programu