OCL development environment for Eclipse 2
Anda boleh memuat turun dalam masa 5 saat.
Anda juga boleh klik pada Pautan Muat Turun Luaran berikut untuk memulakan muat turun:
http://sourceforge.net/projects/ocleditor/files/ocleditor/OCLEditor%20-%20Alpha%20%282%29/ocleditor_alpha2.zip/download
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.
Atur Cara Berkaitan
-
Faile Percuma
Gagal adalah program catur percuma yang memainkan permainan catur yang agak kuat (kekuatan pakar atau lebih baik). Salah satu matlamat utama Gagal adalah untuk menyediakan program catur yang diketengahkan penuh dengan kod sum
-
Sonyer Percuma
Alat ini membenarkan untuk membuat sandaran data seperti buku telefon, kalendar, nota dan lain-lain sonyEricsson (diuji pada telefon bimbit w810i). Ini alat baris perintah.
-
SubdiverSVN Percuma
SubdiverSVN adalah pelanggan Subversion untuk Linux dengan perpustakaan GTKmm.
-
Note Me Up Free Percuma
Buat nota mudah dan maklumkan nota. Terdapat juga widget. Sokong kami dengan membeli versi PENUH yang mengandungi semua tambahan:- Tangkap Nota (Tangkap dari kamera, gunakan berbilang sentuhan untuk melihat nota)- Nota Suara
-
CMWS Model Percuma
Model CMWS, yang kini ditulis dalam python, model menyusun menjalankan output model GFS Operasi dan komputer NAM oleh NOAA untuk menyediakan ramalan cuaca berangka menggunakan ramalan statistik. Model Berjalan di http://www.a
-
UO Sphere Scripter Percuma
SphereScripter adalah alat mudah yang membolehkan anda membuat Skrip Sphereserver dan Gumps dengan cara yang mudah. Ciri-ciri: warna kod, semak syntax, pencipta gump, memaparkan gambar Seni / Mul, cari item Seni / NPC / gump
-
CarbonKernel Percuma
Projek sourceforge ini ditutup sehingga notis selanjutnya --CarbonKernel adalah simulator RTOS berdasarkan teknik simulasi yang didorong oleh acara. Ia meniru tingkah laku sistem operasi masa nyata, membolehkan untuk melaks
-
BTCpp Percuma
BTCpp adalah Perpustakaan Bluetooth Sumber Terbuka yang ditulis dalam C/C++.Anda boleh menggunakan BTCpp dalam projek C/C++ anda jika anda memerlukan sokongan untuk data bacaan/penulisan asas kepada peranti jauh, pengimbasa
-
OOF: the very open Flash components Percuma
OOF adalah satu set komponen yang membolehkan pereka untuk membuat pejabat belakang, pejabat depan, tapak dinamik, borang, aplikasi kaya, aplikasi didorong pangkalan data ... Ini dilakukan dengan Flash atau SILEX, oleh pereka
-
Nobles Riggers App Percuma
Dibangunkan oleh Bangsawan, ini mudah, mudah digunakan alat yang membolehkan anda mencari Had Beban Kerja untuk pelbagai jenis rigging (slings tali dawai, slings rantai, slings sintetik), semuanya ke Standard Australia. Janga