ER Model Transformation
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
นอกจากนี้คุณยังสามารถคลิกที่ลิงค์ดาวน์โหลดภายนอกต่อไปนี้เพื่อเริ่มดาวน์โหลด:
http://ermt.svn.sourceforge.net/
เกี่ยวกับ ER Model Transformation
เอนทิตีและความสัมพันธ์จะถูกระบุเป็นชนิดที่ผู้ใช้กําหนดเอง เราจะใช้เครื่องมือพิสูจน์ PVS การตรวจสอบเกี่ยวข้องกับการพิสูจน์เงื่อนไขความถูกต้องชนิดที่สร้างขึ้นโดยตัวตรวจสอบชนิดโดยอัตโนมัติ
หลักสูตรที่เกี่ยวข้อง
-
Guile XMMS ฟรี
ชุดของการผูกที่อนุญาตให้โปรแกรม Guile ควบคุม XMMS
-
Gnome 2 applet simplified ฟรี
Gnome 2 แอปเพล็ตที่เรียบง่ายเป็น athempt ที่จะทําให้มันง่ายกว่าที่จะเขียน gnome 2 แผงแอปเพล็ตและพอร์ตแอปเปิ้ลเมกเกอร์หน้าต่าง มันเป็นห้องสมุด / skelleton ที่ให้ฟังก์ชั่นที่พบบ่อยที่สุดที่คุณเมื่อคุณต้องการเมื่อคุณเขียนแ
-
DataStructures,Algorithms,AutomataTheory ฟรี
ห้องสมุดชั้นที่มีคอลเลกชันของโครงสร้างข้อมูล, อัลกอริทึมบางอย่างตามเทคนิคการออกแบบอัลกอริทึม, คําอธิบายบางอย่างเกี่ยวกับเทคนิคที่รวบรวมโดยฉัน, อัลกอริทึมเกี่ยวกับภาษาที่เป็นทางการและทฤษฎีอัตโนมัติ
-
Sky Pilot ฟรี
Sky Pilot เป็นการดําเนินการใหม่ของภาษาการเขียนโปรแกรมนําร่องมาตรฐาน IEEE พกพาสะดวกสําหรับระบบปฏิบัติการที่ทันสมัยทั้งหมดและได้รับการออกแบบให้ใช้งานง่ายและทันสมัย
-
MCRS-Radio Scheduler ฟรี
MCRS เป็น ment เพื่อทําหน้าที่เป็นซอฟต์แวร์การจัดกําหนดการสําหรับสถานีวิทยุ เป้าหมายคือการให้ทางเลือกในการใช้จ่ายผลิตภัณฑ์เชิงพาณิชย์สําหรับการเล่นเพลง ginggles และการประชาสัมพันธ์ในระบบสถานีวิทยุ
-
RACER Project ฟรี
คอลเลกชันของโครงการและเครื่องมือที่จะใช้กับเครื่องยนต์เหตุผลความหมาย RacerPro RacerManager เป็นโครงการแรกที่มีอยู่ในคอลเลกชันนี้ RacerManager ได้รับการพัฒนาเพื่อทําหน้าที่เป็นเซิร์ฟเวอร์แอปพลิเคชัน OWL-QL สําหรับ RacerPro
-
XFiler ฟรี
XFiler เป็นระบบการจัดการเนื้อหาตาม J2EE ที่อนุญาตให้ผู้ใช้ยื่นเนื้อหาข้อมูลเมตาโปรไฟล์รักษาประวัติการกําหนดเวอร์ชันและการเข้าถึงที่ปลอดภัย
-
Star Template for JSPWiki ฟรี
"แม่แบบดาวสําหรับ JSPWiki" เป็นแม่แบบสําหรับ JSPWiki (jspwiki.org) ที่เรามีให้ฉบับภาษาจีนประยุกต์ในขณะนี้, และอาจจะเราจะให้ภาษาอังกฤษ, จีนแบบดั้งเดิม, ฉบับญี่ปุ่นในอนาคตของ ได้รับใบอนุญาตตามใบอนุญาต Apache เ
-
Orangevolt EclipseXUL ฟรี
EclipseXUL เป็นคุณสมบัติ Eclipse เพิ่มการสนับสนุน XUL ไปยังแพลตฟอร์ม Eclipse คุณลักษณะนี้รวมถึงตัวช่วยสร้างบรรณาธิการธรรมชาติเปิดใช้การกําหนดค่าความช่วยเหลือออนไลน์ ฯลฯ EclipseXUL ถูก superced โดย XULBooster (http://www.xulbo
-
cairngorm ฟรี
Cairngorm วางรากฐานสําหรับการส่งมอบโครงการ Flex และ AIR ที่ประสบความสําเร็จ