G-UML

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

เกี่ยวกับ G-UML

การเขียนโปรแกรมภาษาและเครื่องมือที่ช่วยให้: การสร้างรหัสง่ายสําหรับ Java, C #, C ++,..; ตรวจสอบความถูกต้องรหัสและคุณสมบัติที่เป็นทางการ จุดมุ่งหมายคือการอนุญาตให้นําส่วนประกอบกลับมาใช้ใหม่ได้สูงสุด (โดยไม่ต้องพึ่งพาภาษา) รวมถึงพิสูจน์ความถูกต้องของพวกเขา