Kirim Perangkat Lunak
  1. Rumah
  2. Linux
  3. Lain
  4. Java Modeling Language (JML)

Java Modeling Language (JML)

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 4.0/5 - ‎1 ‎Suara
Download

Java Modeling Language (JML) adalah bahasa spesifikasi antarmuka perilaku yang dapat digunakan untuk menentukan perilaku modul Java (seperti dalam desain berdasarkan kontrak -- DBC). Ini memiliki banyak alat untuk melakukan pemeriksaan pernyataan, pengujian unit, dll.

Riwayat versi

  • Versi plugins diposting di 2011-02-13
    Beberapa perbaikan dan pembaruan
  • Versi N/A diposting di 2011-02-13

Detil Program

Program Terkait

  • OpenSeeds Gratis

    OpenSeeds adalah kerangka kerja pengembangan web sumber terbuka dan model objek yang dirancang untuk lingkungan LAMP. Ini dirancang dengan urus sistem yang kompleks. Kerangka kerja itu sendiri ringan. Model objek sederhana.

  • JNI++ Gratis

    Proyek ini menyediakan dua utilitas pembangkit kode dan pustaka inti C++ yang menyederhanakan pemrograman ke JNI di C++.

  • Almende's Abbey Agent Kernel Gratis

    Proyek ini menyediakan kernel sederhana untuk membangun aplikasi berbasis agen terdistribusi. Hal ini didasarkan pada gagasan bahwa prinsip-prinsip yang mendasari pemrograman aliran data sangat cocok untuk merancang bahasa ko

  • Flicky Web Launcher Uji Coba Gratis

    Aplikasi ini hanyalah ikon yang meluncurkan situs About.com ini.Membuatnya mudah untuk sampai ke situs web Flickr.appjungle.net berafiliasi dengan Flickr.(semua merek dagang dimiliki oleh pemiliknya masing-masing)

  • MGP Gratis

    Plugin Maven GWT digunakan untuk mengompilasi file sumber JavaScript dari sumber Java. Plugin menjalankan GWTCompiler, memungkinkan untuk mengkonfigurasi opsi kompilasi, secara otomatis mendeteksi lokasi file sumber dan sumbe

  • Delta Compositor Gratis

    Delta Compositor adalah paket pengomposit film kelas atas dan efek khusus. Hal ini dalam perkembangan yang sangat awal. Versi berbasis skrip kini tersedia. GUI saat ini sedang dalam perencanaan dan pengembangan.

  • Database Access Framework Gratis

    Versi Blok Aplikasi Akses Data yang disempurnakan dari pola Microsoft & praktik Pustaka Perusahaan 2.0.

  • jDummy Gratis

    jDummy adalah ekstensi untuk jMock, perpustakaan untuk menguji kode Java dengan objek tiruan. jDummy mengurangi kode yang diperlukan untuk mengekspresikan harapan yang relevan dengan menghasilkan nilai boneka dan objek diejek

  • ALPprolog Gratis

    ALPprolog adalah implementasi Prolog dari bahasa pemrograman aksi. Dengan ALPprolog Anda dapat memprogram strategi untuk agen otonom di domain dinamis seperti misalnya dunia Wumpus.

  • C++ Object Interfacing Dispatcher Gratis

    COID adalah perpustakaan jaringan penyajian objek C++, dengan alat yang secara otomatis menghasilkan lapisan komunikasi ringan langsung dari deklarasi kelas C++.