OCL development environment for Eclipse 2

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 3.8/5 - ‎4 ‎Undi

Tentang OCL development environment for Eclipse

Tujuan utama projek ini adalah untuk mewujudkan editor Gerhana untuk menentukan kontrak OCL. Bahasa OCL digunakan untuk menentukan pra-, pasca syarat dan invariants. Projek ini juga mengandungi penghuraian untuk memeriksa ketepatan sintetik dan semantikal.