ACF เป็นกรอบงานสําหรับ เขียนแบบจําลอง- ตรวจสอบของ ACF ถูกสร้างขึ้นจากการสังเกตพื้นฐานว่าโครงสร้างมากที่สุด อัลกอริทึมการตรวจสอบแบบจําลองเป็นอิสระจากพิธีการที่ใช้ในการอธิบาย ระบบ
ประวัติรุ่น
- เวอร์ชัน 0.1 โพสต์เมื่อ 2000-03-21
การแก้ไขและการอัปเดตหลายรายการ - เวอร์ชัน 0.1 โพสต์เมื่อ 2000-03-21
รายละเอียดหลักสูตร
- ประเภท: ศึกษา > อื่นๆ
- Publisher: aiken.cs.abo.fi/acf
- ใบ อนุญาต: ฟรี
- ราคา: N/A
- เวอร์ชัน: 0.1
- แพ ลตฟอร์ม: linux