Maude Development Tools

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 3.0/5 - ‎1 ‎Votos

Sobre Maude Development Tools

As Ferramentas de Desenvolvimento maude são um conjunto de plugins que incorporam o interpretador maude (http://maude.cs.uiuc.edu) no Eclipse. Ele fornece um plugin núcleo, que permite a qualquer programa Java usar Maude, e um conjunto de plugins que fornecem um IDE baseado no Eclipse