Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. Java Modeling Language (JML)
  5. Download

Java Modeling Language (JML)

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

Tentang Java Modeling Language (JML)

Bahasa Pemodelan Java (JML) adalah bahasa spesifikasi antara muka tingkah laku yang boleh digunakan untuk menentukan tingkah laku modul Java (seperti dalam reka bentuk dengan kontrak -- DBC). Ia mempunyai banyak alat untuk melakukan pemeriksaan penat, ujian unit, dll.

Atur Cara Berkaitan

  • OpenSeeds Percuma

    OpenSeeds adalah rangka kerja pembangunan web sumber terbuka dan model objek yang direka untuk persekitaran LAMP. Ia direka dengan sistem yang kompleks dalam fikiran. Rangka kerja itu sendiri adalah berat ringan. Model objek

  • JNI++ Percuma

    Projek ini membekalkan dua kod menjana utiliti dan perpustakaan teras C ++ yang memudahkan pengaturcaraan ke JNI dalam C ++.

  • Almende's Abbey Agent Kernel Percuma

    Projek ini menyediakan urutan mudah untuk membina aplikasi berasaskan ejen teragih. Ia berdasarkan idea bahawa prinsip-prinsip yang mendasari pengaturcaraan aliran data sangat sesuai untuk mereka bentuk bahasa penyelarasan un

  • Flicky Web Launcher Percubaan Percuma

    Aplikasi ini hanyalah ikon yang melancarkan laman web About.com ini.Memudahkan anda untuk sampai ke laman web Flickr.appjungle.net bergabung dengan Flickr.(semua tanda dagangan dimiliki oleh pemilik masing-masing)

  • MGP Percuma

    Plugin Maven GWT digunakan untuk menyusun fail sumber JavaScript dari sumber Java. Plugin menjalankan GWTCompiler, membolehkan untuk mengkonfigurasi pilihan pengkompil, mengesan lokasi fail sumber dan sumber secara automatik.

  • Delta Compositor Percuma

    Delta Compositor adalah penggubahan filem mewah dan pakej kesan khas. Ia dalam perkembangan awal. Versi berasaskan skrip kini boleh didapati. GUI kini dalam perancangan dan pembangunan.

  • Database Access Framework Percuma

    Versi dipertingkatkan Blok Aplikasi Capaian Data daripada corak Microsoft & amalan Perpustakaan Perusahaan 2.0.

  • jDummy Percuma

    jDummy adalah lanjutan kepada jMock, sebuah perpustakaan untuk menguji kod Java dengan objek olek. jDummy mengurangkan kod yang diperlukan untuk menyatakan jangkaan yang relevan dengan menjana nilai dummy dan objek diejek per

  • ALPprolog Percuma

    ALPprolog adalah pelaksanaan Prolog bahasa pengaturcaraan tindakan. Dengan ALPprolog anda boleh strategi program untuk ejen autonomi dalam domain dinamik seperti contohnya dunia Wumpus.

  • C++ Object Interfacing Dispatcher Percuma

    COID adalah pustaka rangkaian yang menghidangkan objek C+++, dengan alat yang secara automatik menjana lapisan komunikasi ringan terus dari pengisytiharan kelas C++.