Prześlij oprogramowanie
  1. W: strona główna
  2. Linux
  3. Innych
  4. Java Modeling Language (JML)

Java Modeling Language (JML)

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 4.0/5 - ‎1 ‎Głosów
Pobierz

Język modelowania Java (JML) to język specyfikacji interfejsu behawioralnego, który może służyć do określania zachowania modułów Java (tak jak w projekcie według umowy - DBC). Ma wiele narzędzi do sprawdzania asercji, testowania jednostkowego itp.

historia wersji

  • Wersja plugins opublikowany na 2011-02-13
    Kilka poprawek i aktualizacji
  • Wersja N/A opublikowany na 2011-02-13

Szczegóły programu

Programy pokrewne

  • OpenSeeds Wolna

    OpenSeeds to struktura rozwoju sieci web typu open source i model obiektów przeznaczony dla środowiska LAMP. Został zaprojektowany z myślą o złożonych systemach. Sama struktura jest lekka. Model obiektu jest uproszczony.

  • JNI++ Wolna

    Ten projekt dostarcza dwa narzędzia generujące kod i podstawową bibliotekę języka C++, które upraszczają programowanie do JNI w języku C++.

  • Almende's Abbey Agent Kernel Wolna

    Ten projekt zapewnia proste jądro do tworzenia rozproszonych aplikacji opartych na agentach. Opiera się na założeniu, że zasady programowania przepływu danych są dobrze dostosowane do projektowania języka koordynacji dla środ

  • Flicky Web Launcher Bezpłatna wersja próbna

    Ta aplikacja jest tylko ikoną, która uruchamia About.com witrynę.Ułatwia dostać się do witryny Flickr.appjungle.net nie związany z Flickr.(wszystkie znaki towarowe są własnością ich odpowiednich właścicieli)S

  • MGP Wolna

    Wtyczka Maven GWT służy do kompilowania plików źródłowych JavaScript ze źródła Java. Wtyczka uruchamia GWTCompiler, pozwala skonfigurować opcje kompilatora, automatycznie wykrywa lokalizację plików źródłowych i zasobów. Nie w

  • Delta Compositor Wolna

    Delta Compositor to wysokiej klasy pakiet kompozycji filmowych i efektów specjalnych. Jest w bardzo wczesnym rozwoju. Wersja oparta na skryptach jest już dostępna. Gui jest obecnie w planowaniu i rozwoju.

  • Database Access Framework Wolna

    Ulepszona wersja bloku aplikacji dostępu do danych z wzorców i praktyk firmy Microsoft w bibliotece Enterprise Library 2.0.

  • jDummy Wolna

    jDummy jest rozszerzeniem jMock, biblioteki do testowania kodu Java z makietami obiektów. jDummy zmniejsza kod potrzebny do wyrażania odpowiednich oczekiwań przez generowanie wartości manekina i pośrednich szyderczych obiektó

  • ALPprolog Wolna

    ALPprolog jest prologową implementacją języka programowania akcji. Dzięki ALPprolog możesz programować strategie dla autonomicznych agentów w dynamicznych domenach, takich jak np.

  • C++ Object Interfacing Dispatcher Wolna

    COID jest biblioteką sieciową obsługującą obiekt w języku C++, z narzędziem, które automatycznie generuje lekką warstwę komunikacji bezpośrednio z deklaracji klasy C++.