โปรแกรมตาม unimod.sf.net

เครื่องมือการเขียนโปรแกรมอัตโนมัติสําหรับการใช้ตรรกะสําหรับแอปพลิเคชัน J2SE, J2EE และ Sybmian ประกอบด้วยกรอบงาน Java FSM และชิ้นส่วนปลั๊กอิน Eclipse ปลั๊กอินใช้ตัวแก้ไขแบบจําลอง UML, ดีบักเกอร์ภาพ, ตัวตรวจสอบ, คอมไพเลอร์และล่