การเขียนโปรแกรมภาษาและเครื่องมือที่ช่วยให้: การสร้างรหัสง่ายสําหรับ Java, C #, C ++,..; ตรวจสอบความถูกต้องรหัสและคุณสมบัติที่เป็นทางการ จุดมุ่งหมายคือการอนุญาตให้นําส่วนประกอบกลับมาใช้ใหม่ได้สูงสุด (โดยไม่ต้องพึ่งพาภาษา) รวมถึงพิสูจน์ความถูกต้องของพวกเขา
ประวัติรุ่น
- เวอร์ชัน N/A โพสต์เมื่อ 2011-08-09
การแก้ไขและการอัปเดตหลายรายการ - เวอร์ชัน N/A โพสต์เมื่อ 2011-08-09
รายละเอียดหลักสูตร
- ประเภท: พัฒนา > อื่นๆ
- Publisher: guml.sf.net
- ใบ อนุญาต: ฟรี
- ราคา: N/A
- เวอร์ชัน: Array
- แพ ลตฟอร์ม: windows