![](/statics/img/blank.png)
Maude Development Tools
Giấy phép: Miễn phí Kích cỡ tệp: N/A
Xếp hạng người dùng: 3.0/5 - 1 Phiếu
Hãy chờ... Liên kết tải xuống của bạn đang được xác minh cho nội dung độc hại.
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn sẽ có thể tải xuống trong 5 giây.
Về Maude Development Tools
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