Software verzenden
  1. Home
  2. Linux
  3. Andere
  4. Java Modeling Language (JML)
  5. Download

Java Modeling Language (JML)

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 4.0/5 - ‎1 ‎Stemmen

Over Java Modeling Language (JML)

De Java Modeling Language (JML) is een gedragsinterface specificatietaal die kan worden gebruikt om het gedrag van Java-modules op te geven (zoals in ontwerp per contract - DBC). Het heeft veel tools om assertie controle te doen, unit testen, enz.

Gerelateerde programma's

  • OpenSeeds Gratis

    OpenSeeds is een open-source web-development framework en object model ontworpen voor de LAMP-omgeving. Het is ontworpen met complexe systemen in het achterhoofd. Het kader zelf is licht van gewicht. Het objectmodel is simpli

  • JNI++ Gratis

    Dit project levert twee codegenererende hulpprogramma's en een kernC++ bibliotheek die de programmering voor het JNI in C++ vereenvoudigt.

  • Almende's Abbey Agent Kernel Gratis

    Dit project biedt een eenvoudige kernel voor het bouwen van gedistribueerde agent-gebaseerde toepassingen. Het is gebaseerd op het idee dat de principes die ten grondslag liggen aan dataflow programmering zijn zeer geschikt v

  • Flicky Web Launcher Gratis proefperiode

    Deze app is slechts een pictogram dat de About.com site lanceert.Maakt het gemakkelijk om naar de Flickr-website.appjungle.net niet aangesloten bij Flickr.(alle handelsmerken zijn eigendom van hun respectievelijke eig

  • MGP Gratis

    De Maven GWT plugin wordt gebruikt om JavaScript-bronbestanden te compileren van de Java-bron. De plugin draait GWTCompiler, maakt het mogelijk om compiler opties te configureren, detecteert automatisch bron- en resourcebesta

  • Delta Compositor Gratis

    Delta Compositor is een High-end film compositing en special effects pakket. Het is in zeer vroege ontwikkeling. Er is nu een scriptversie beschikbaar. Een GUI is momenteel in planning en ontwikkeling.

  • Database Access Framework Gratis

    Een verbeterde versie van Data Access Application Block van Microsoft-patronen en -praktijken Enterprise Library 2.0.

  • jDummy Gratis

    jDummy is een uitbreiding op jMock, een bibliotheek voor het testen van Java-code met mock-objecten. jDummy vermindert de code die nodig is om relevante verwachtingen uit te drukken door het genereren van de dummy waarden en

  • ALPprolog Gratis

    ALPprolog is een Prolog implementatie van een actie programmeertaal. Met ALPprolog u strategieën programmeren voor autonome agents in dynamische domeinen zoals bijvoorbeeld de Wumpus wereld.

  • C++ Object Interfacing Dispatcher Gratis

    COID is een C++ netwerkbibliotheek voor objecten, met tool die automatisch een lichtgewicht communicatielaag genereert rechtstreeks vanuit de C++-klassedeclaraties.