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