Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. Java Modeling Language (JML)

Java Modeling Language (JML)

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎1 ‎Votes
Télécharger

Le langage de modélisation Java (JML) est un langage de spécification d’interface comportementale qui peut être utilisé pour spécifier le comportement des modules Java (comme dans la conception par contrat - DBC). Il dispose de nombreux outils pour faire la vérification des affirmations, des tests unitaires, etc.

historique de la version

  • Version plugins posté sur 2011-02-13
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2011-02-13

Détails du programme

Programmes connexes

  • OpenSeeds Gratuit

    OpenSeeds est un cadre de développement web open-source et un modèle d’objet conçu pour l’environnement LAMP. Il est conçu avec des systèmes complexes à l’esprit. Le cadre lui-même est léger. Le modèle d’objet est simpliste.

  • JNI++ Gratuit

    Ce projet fournit deux utilitaires générateurs de code et une bibliothèque C++ de base qui simplifie la programmation de l’INJ en C++.

  • Almende's Abbey Agent Kernel Gratuit

    Ce projet fournit un noyau simple pour la construction d’applications distribuées basées sur des agents. Il est basé sur l’idée que les principes sous-jacents à la programmation de flux de données sont bien adaptés à la conce

  • Flicky Web Launcher Essai gratuit

    Cette application est juste une icône qui lance le site About.com site.Il est facile de se rendre sur le site Flickr.appjungle.net’est pas affilié à Flickr.(toutes les marques appartiennent à leurs propriétaires respe

  • MGP Gratuit

    Le plugin Maven GWT est utilisé pour compiler des fichiers source JavaScript à partir de la source Java. Le plugin exécute GWTCompiler, permet de configurer des options de compilateur, détecte automatiquement l’emplacement de

  • Delta Compositor Gratuit

    Delta Compositor est un paquet de compositing de films haut de gamme et d’effets spéciaux. Il est en développement très tôt. Une version basée sur le script est maintenant disponible. Une interface graphique est actuellement

  • Database Access Framework Gratuit

    Une version améliorée du bloc d’application d’accès aux données à partir des modèles et pratiques de Microsoft Enterprise Library 2.0.

  • jDummy Gratuit

    jDummy est une extension de jMock, une bibliothèque pour tester le code Java avec des objets simulés. jDummy réduit le code nécessaire pour exprimer les expections pertinentes en générant les valeurs factices et les objets in

  • ALPprolog Gratuit

    ALPprolog est une mise en œuvre prolog d’un langage de programmation d’action. Avec ALPprolog, vous pouvez programmer des stratégies pour les agents autonomes dans des domaines dynamiques comme par exemple le monde Wumpus.

  • C++ Object Interfacing Dispatcher Gratuit

    COID est une bibliothèque de réseau au service d’objets C++, avec un outil qui génère automatiquement une couche de communication légère directement à partir des déclarations de classe C++.