Maude Development Tools

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

O Maude Development Tools

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