Programas por mdt.sf.net

As Ferramentas de Desenvolvimento de Maude são um conjunto de plugins que incorporam o intérprete maude (http://maude.cs.uiuc.edu) no Eclipse. Fornece um plugin central, que permite a qualquer programa java usar Maude, e um c