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

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