ส่งซอฟต์แวร์
  1. บ้าน
  2. Windows
  3. อื่นๆ
  4. ER Model Transformation

ER Model Transformation

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

เอนทิตีและความสัมพันธ์จะถูกระบุเป็นชนิดที่ผู้ใช้กําหนดเอง เราจะใช้เครื่องมือพิสูจน์ PVS การตรวจสอบเกี่ยวข้องกับการพิสูจน์เงื่อนไขความถูกต้องชนิดที่สร้างขึ้นโดยตัวตรวจสอบชนิดโดยอัตโนมัติ

ประวัติรุ่น

  • เวอร์ชัน N/A โพสต์เมื่อ 2010-03-12
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน N/A โพสต์เมื่อ 2010-03-12

รายละเอียดหลักสูตร

หลักสูตรที่เกี่ยวข้อง

  • 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 ที่ประสบความสําเร็จ