Invia software
  1. Casa
  2. Linux
  3. Altro
  4. Java Modeling Language (JML)

Java Modeling Language (JML)

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎1 ‎Voti
Scaricare

Il Java Modeling Language (JML) è un linguaggio di specifica di interfaccia comportamentale che può essere utilizzato per specificare il comportamento dei moduli Java (come nella progettazione per contratto -- DBC). Ha molti strumenti per eseguire il controllo delle asserzioni, l'unit test, ecc.

cronologia delle versioni

  • Versione plugins pubblicato il 2011-02-13
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2011-02-13

Dettagli del programma

Programmi correlati

  • OpenSeeds Gratuito

    OpenSeeds è un framework di sviluppo web open source e un modello a oggetti progettato per l'ambiente LAMP. È progettato con sistemi complessi in mente. Il quadro stesso è leggero. Il modello a oggetti è semplicistico.

  • JNI++ Gratuito

    Questo progetto fornisce due utilità di generazione di codice e una libreria C++ principale che semplifica la programmazione al JNI in C++.

  • Almende's Abbey Agent Kernel Gratuito

    Questo progetto fornisce un kernel semplice per la creazione di applicazioni basate su agenti distribuiti. Si basa sull'idea che i principi alla base della programmazione del flusso di dati sono adatti per progettare un lingu

  • Flicky Web Launcher Prova gratuita

    Questa app è solo un'icona che avvia il About.com sito.Rende facile raggiungere il sito Web Flickr.appjungle.net affiliato a Flickr.(tutti i marchi sono di proprietà dei rispettivi proprietari)Dichiarazione d

  • MGP Gratuito

    Il plugin Maven GWT viene utilizzato per compilare file di origine JavaScript dall'origine Java. Il plugin esegue GWTCompiler, consente di configurare le opzioni del compilatore, rileva automaticamente il percorso dei file di

  • Delta Compositor Gratuito

    Delta Compositor è un pacchetto di composizione di film di fascia alta ed effetti speciali. È in fase di sviluppo molto precoce. È ora disponibile una versione basata su script. Una GUI è attualmente in fase di pianificazione

  • Database Access Framework Gratuito

    Versione avanzata di Data Access Application Block di Microsoft patterns & practices Enterprise Library 2.0.

  • jDummy Gratuito

    jDummy è un'estensione di jMock, una libreria per testare codice Java con oggetti fittizi. jDummy riduce il codice necessario per esprimere le esigenze rilevanti generando i valori fittizi e gli oggetti derisi intermedi neces

  • ALPprolog Gratuito

    ALPprolog è un'implementazione Prolog di un linguaggio di programmazione d'azione. Con ALPprolog è possibile programmare strategie per agenti autonomi in domini dinamici come ad esempio il mondo Wumpus.

  • C++ Object Interfacing Dispatcher Gratuito

    COID è una libreria di rete che serve oggetti C++, con uno strumento che genera automaticamente un livello di comunicazione leggero direttamente dalle dichiarazioni di classe C++.