Maude Development Tools

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

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

版本歷史記錄

  • 版本 files 發佈於 2010-10-27
    若干修復和更新
  • 版本 N/A 發佈於 2010-10-27

軟體細節