Yazılım Gönder
  1. Ev
  2. Linux
  3. Diğer
  4. Java Modeling Language (JML)
  5. Download

Java Modeling Language (JML)

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 4.0/5 - ‎1 ‎Oy

Hakkı -nda Java Modeling Language (JML)

Java Modelleme Dili (JML), Java modüllerinin davranışını belirtmek için kullanılabilen bir davranış arabirimi belirtimi dilidir (sözleşmegereği tasarımda olduğu gibi -- DBC). Bu iddia kontrol, birim testi, vb yapmak için birçok araç vardır.

İlgili Programlar

  • OpenSeeds Ücret -siz

    OpenSeeds lamp ortamı için tasarlanmış bir açık kaynak web geliştirme çerçevesi ve nesne modelidir. Karmaşık sistemler düşünülarak tasarlanmıştır. Çerçevenin kendisi hafiftir. Nesne modeli basittir.

  • JNI++ Ücret -siz

    Bu proje, C++'daki JNI'ye programlamayı basitleştiren iki kod oluşturma yardımcı programı ve bir çekirdek C++ kitaplığı sağlar.

  • Almende's Abbey Agent Kernel Ücret -siz

    Bu proje, dağıtılmış aracı tabanlı uygulamalar oluşturmak için basit bir çekirdek sağlar. Veri akışı programlamanın altında yatan ilkelerin çok aracılı ortamlar için bir koordinasyon dili tasarlamak için uygun olduğu fikrine

  • Flicky Web Launcher Ücretsiz Deneme

    Bu uygulama sadece About.com sitesi başlattı bir simgedir.Flickr web sitesine ulaşmak kolaylaştırır.appjungle.net Flickr ile bağlı değildir.(tüm ticari markalar ilgili sahiplerine aittir)Standart feragatname:

  • MGP Ücret -siz

    Maven GWT eklentisi JavaScript kaynak dosyalarını Java kaynağından derlemek için kullanılır. Eklenti GWTCompiler çalışır, derleyici seçenekleri yapılandırmak için izin verir, otomatik olarak kaynak ve kaynak dosyaları konumun

  • Delta Compositor Ücret -siz

    Delta Compositor bir High end film birleştirme ve özel efekt paketidir. Bu çok erken bir gelişme olduğunu. Komut dosyası tabanlı sürüm artık kullanılabilir. Bir GUI şu anda planlama ve geliştirme aşamasındadır.

  • Database Access Framework Ücret -siz

    Microsoft desen ve uygulamaları Enterprise Library 2.0 Veri Erişim Uygulama Bloğu gelişmiş bir sürümü.

  • jDummy Ücret -siz

    jDummy jMock, sahte nesnelerle Java kodu test etmek için bir kütüphane bir uzantısıdır. jDummy, sahte değerleri ve bunları ifade etmek için gereken ara alay nesneleri oluşturarak ilgili bekleyileri ifade etmek için gereken ko

  • ALPprolog Ücret -siz

    ALPprolog bir eylem programlama dilinin Prolog uygulamasıdır. ALPprolog ile wumpus dünyası gibi dinamik etki alanlarında özerk ajanlar için stratejiler programlayabilirsiniz.

  • C++ Object Interfacing Dispatcher Ücret -siz

    COID, doğrudan C++ sınıf bildirimlerinden otomatik olarak hafif iletişim katmanı oluşturan bir araçla c++ nesne sunma ağ kitaplığıdır.