Chương trình theo mdt.sf.net

Công cụ phát triển Maude là một tập hợp các plugin nhúng thông dịch viên maude (http://maude.cs.uiuc.edu) trong Eclipse. Nó cung cấp một plugin cốt lõi, cho phép bất kỳ chương trình Java nào sử dụng Maude và một tập hợp các p