Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. OCL development environment for Eclipse
  5. Download

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.

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