Maude Development Tools

軟體性質: 免費 ‎檔案大小: N/A
‎使用者評分: 3.0/5 - ‎1 ‎評分

關於 Maude Development Tools

Maude 開發工具是一元件外掛程式,在 Eclipse 中嵌入了毛HTTP://maude.cs.uiuc.edu(或) 。它提供了一個核心外掛程式,它允許任何Java程式使用Maude,以及一組外掛程式,提供基於Eclipse的 IDE