![](/statics/img/blank.png)
Maude Development Tools
Licença: Livre Tamanho do arquivo: N/A
Classificação dos usuários: 3.0/5 - 1 Votos
Aguarde... Seu link de download está sendo verificado para conteúdo malicioso.
Você poderá baixar em 5 segundos.
Você poderá baixar em 5 segundos.
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