Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. Overture: Formal modelling in VDM
  5. Download

Overture: Formal modelling in VDM

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

Tentang Overture: Formal modelling in VDM

Proyek Overture sedang mengembangkan satu set plug-in Eclipse open source untuk mendukung integrasi berbagai alat pemodelan VDM (Vienna Development Method). Tujuannya adalah untuk memberikan dukungan untuk semua alat VDM dan dialek bahasa yang ada.

Program Terkait

  • Mkulu QA Proxy Gratis

    Mkulu QA Proxy digunakan untuk melihat detail paket HTTP. Ini adalah alat yang berguna untuk pengembangan dan pengujian web. Pekerjaan sedang berlangsung untuk meningkatkan fungsionalitas alat. Proxy dapat mengurai protokol A

  • Illumination Gratis

    Iluminasi - pustaka C++ GUI yang kaya fitur dan mandiri plattform. Fitur utama: temabilitas, dukungan deskripsi permukaan XML, mesin tata letak yang bagus, sensitiviness font, backend untuk X11, Windows, Carbon dan Kutukan.

  • HMM Based Chinese Segmentor Gratis

    Ini adalah proyek yang mengimplementasikan antarmuka Lucene Analyzer untuk memperluas fungsinya mengatasi masalah segmentasi Cina berdasarkan model statistik (Hiden Marcov Model)

  • NHibernateIt Gratis

    NHibernateIt adalah Pembantu Manajemen Sesi NHibernate dan menyediakan tindakan CRUD dasar melalui kelas Repositori. Terinspirasi oleh NHibernator Project, di oracleatdotnet.com

  • AstroWeka Gratis

    AstroWeka adalah seperangkat ekstensi batas untuk Weka, program penambangan data populer, yang memungkinkannya untuk bekerja langsung dengan data astronomi di Observatorium Virtual.

  • CalFaces Gratis

    CalFaces (sebelumnya jsforganiser) adalah kumpulan komponen JavaServer Faces untuk digunakan dalam aplikasi PIM berbasis web, menyediakan kalender bergaya Outlook dengan tampilan hari, minggu kerja, minggu dan bulan, serta pe

  • Complement Gratis

    Pustaka Multiplatform C++. 1. xmt: Antarmuka pemrograman portabel untuk membangun aplikasi atau pustaka MultiThreaded (MT) ; 2. sockios: antarmuka ke soket (aliran IO C++); 3. StEM: kerangka kerja mesin/komunikasi negara bagi

  • H3xC4T Gratis

    H3xC4T membaca file biner dan menampilkan konten heksadesimal yang diurutkan dalam kolom... di masa depan, saya akan menambahkan beberapa fitur seperti konversi biner polos atau pembongkaran ...

  • Charset detector Gratis

    Pustaka untuk deteksi set karakter otomatis dari teks atau file tertentu. Penyangga input akan dianalisis untuk menebak pengkodean yang digunakan. Hasilnya (nama charset atau id halaman kode) dapat digunakan sebagai parameter

  • Java Signal/Slot with Annotations Gratis

    Library ini adalah API sinyal/slot untuk Java 5.0 yang menggunakan anotasi untuk menandai sinyal/slot. Subkelas yang berisi enum sinyal/slot, serta metode untuk memancarkan sinyal ke slotnya, dihasilkan secara otomatis melalu