Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. Overture: Formal modelling in VDM
  5. Download

Overture: Formal modelling in VDM

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

Tentang Overture: Formal modelling in VDM

Projek Overture sedang membangunkan satu set plug-in Eclipse sumber terbuka untuk menyokong integrasi pelbagai alat pemodelan VDM (Kaedah Pembangunan Vienna). Tujuannya adalah untuk memberi sokongan kepada semua alat VDM sedia ada dan dialek bahasa.

Atur Cara Berkaitan

  • Mkulu QA Proxy Percuma

    Mkulu QA Proksi digunakan untuk melihat butiran paket HTTP. Ia adalah alat yang berguna untuk pembangunan dan ujian web. Kerja sedang dijalankan untuk meningkatkan fungsi alat. Proksi ini mampu menghuraikan protokol AMF binar

  • Illumination Percuma

    Pencahayaan - perpustakaan C++ GUI yang kaya dengan ciri-ciri. Ciri-ciri utama: kebolehpercayaan, sokongan penerangan permukaan XML, enjin susun atur yang bagus, fon-sensitiviness, backends untuk X11, Windows, Karbon dan Kutu

  • HMM Based Chinese Segmentor Percuma

    Ini adalah projek yang melaksanakan antara muka Lucene Analyzer untuk memperluaskan fungsinya menghadapi masalah segmen Cina berdasarkan model statistik (Hiden Marcov Model)

  • NHibernateIt Percuma

    NHibernateIt adalah Seorang Membantu Pengurusan Sesi NHibernate dan menyediakan tindakan asas CRUD palung kelas Repositori. Diilhamkan oleh Projek NHibernator, oracleatdotnet.com

  • AstroWeka Percuma

    AstroWeka adalah satu set sejauh mana Weka, program perlombongan data yang popular, yang membolehkannya bekerja secara langsung dengan data astronomi dalam Balai Cerap Maya.

  • CalFaces Percuma

    CalFaces (sebelum ini jsforganiser) adalah koleksi komponen JavaServer Faces untuk digunakan dalam aplikasi PIM berasaskan web, menyediakan kalendar gaya Outlook dengan pandangan hari, kerja, minggu dan bulan, serta perancang

  • Complement Percuma

    Perpustakaan Multiplatform C++. 1. xmt: Antara muka pengaturcaraan mudah alih untuk membina aplikasi atau perpustakaan MultiThreaded (MT). 2. sockios: antara muka ke soket (C++ IO aliran); 3. StEM: kerangka mesin/komunikasi n

  • H3xC4T Percuma

    H3xC4T membaca fail binari dan menunjukkan kandungan heksadecimal yang dipesan dalam lajur ... pada masa akan datang, saya akan menambah beberapa ciri seperti penukaran binari biasa atau pembongkaran ...

  • Charset detector Percuma

    Pustaka untuk pengesanan charset automatik teks atau fail yang diberikan. Penimbal input akan dianalalirkan untuk meneka pengekodan yang digunakan. Hasilnya (nama charset atau id halaman kod) boleh digunakan sebagai parameter

  • Java Signal/Slot with Annotations Percuma

    Perpustakaan ini adalah API isyarat/slot untuk Java 5.0 yang menggunakan anotasi untuk menandakan isyarat/slot. Subklas yang mengandungi enum isyarat / slot, serta kaedah untuk mengeluarkan isyarat kepada slotnya, dijana seca