Maude Development Tools

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 3.0/5 - ‎1 ‎โหวต

เกี่ยวกับ Maude Development Tools

เครื่องมือการพัฒนา Maude เป็นชุดของปลั๊กอินที่ฝังล่าม maude (http://maude.cs.uiuc.edu) ใน Eclipse มันมีปลั๊กอินหลักซึ่งช่วยให้โปรแกรม Java ใด ๆ ที่จะใช้ Maude และชุดของปลั๊กอินที่มี IDE ที่ใช้ Eclipse