OCL development environment for Eclipse 2

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

เกี่ยวกับ OCL development environment for Eclipse

วัตถุประสงค์หลักของโครงการนี้คือการสร้างโปรแกรมแก้ไข Eclipse สําหรับการระบุสัญญา OCL ภาษา OCL ใช้เพื่อระบุเงื่อนไขก่อนหลังเงื่อนไขและ invariants โครงการนี้ยังมีตัวแยกวิเคราะห์เพื่อตรวจสอบความถูกต้องทางไวยากรณ์และความหมาย