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 plugin cung cấp IDE dựa trên Eclipse
lịch sử phiên bản
- Phiên bản files đăng trên 2010-10-27
Một số bản sửa lỗi và cập nhật - Phiên bản N/A đăng trên 2010-10-27
Chi tiết chương trình
- Mục: Phát triển > Khác
- Publisher: mdt.sf.net
- Giấy phép: Miễn phí
- Giá: N/A
- Phiên bản: Array
- Nền tảng: windows