OCL development environment for Eclipse 2

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 3.8/5 - ‎4 ‎Suara

Tentang OCL development environment for Eclipse

Tujuan utama proyek ini adalah untuk membuat editor Eclipse untuk menentukan kontrak OCL. Bahasa OCL digunakan untuk menentukan pra-, pasca-kondisi dan invarian. Proyek ini juga berisi parser untuk memeriksa kebenaran sintaksi dan semanis.