IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
Navigation

Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter

EDI et Outils pour Java Discussion :

Outil de Programmation par contrat pour Java?


Sujet :

EDI et Outils pour Java

Vue hybride

Message précédent Message précédent   Message suivant Message suivant
  1. #1
    Membre éclairé
    Profil pro
    Inscrit en
    Juin 2005
    Messages
    760
    Détails du profil
    Informations personnelles :
    Localisation : France

    Informations forums :
    Inscription : Juin 2005
    Messages : 760
    Par défaut Outil de Programmation par contrat pour Java?
    Bonjour,

    Je cherche potentiellement à utiliser la programmation par contrat (design by contract) dans mon projet mais je n'ai pas trouvé d'étude qualitative sur les differents outils existants.

    Auriez vous des conseils ou des ressources concernant ce sujet ?

    D'avance merci

  2. #2
    Membre Expert
    Avatar de slim_java
    Homme Profil pro
    Enseignant
    Inscrit en
    Septembre 2008
    Messages
    2 272
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 40
    Localisation : Tunisie

    Informations professionnelles :
    Activité : Enseignant
    Secteur : Enseignement

    Informations forums :
    Inscription : Septembre 2008
    Messages : 2 272
    Par défaut
    Citation Envoyé par TabrisLeFol Voir le message
    Bonjour,

    Je cherche potentiellement à utiliser la programmation par contrat (design by contract) dans mon projet mais je n'ai pas trouvé d'étude qualitative sur les differents outils existants.

    Auriez vous des conseils ou des ressources concernant ce sujet ?

    D'avance merci
    je te conseille fortement le langage Eiffel sinon si tu veut rester avec java , tu peut voir avec le Java Modeling Language (JML)

  3. #3
    Membre éclairé
    Profil pro
    Inscrit en
    Juin 2005
    Messages
    760
    Détails du profil
    Informations personnelles :
    Localisation : France

    Informations forums :
    Inscription : Juin 2005
    Messages : 760
    Par défaut
    Les outils pour Java me semblent très limités voir réservés à une utilisation academiques.

    Je suis en train de regarder "Sireum/Kiasan for Java" (donc JML) mais je regrette déjà que l'outil n'utilise pas les annotations Java.

Discussions similaires

  1. Java : Google introduit la programmation par contrat
    Par Idelways dans le forum Général Java
    Réponses: 46
    Dernier message: 24/03/2011, 15h59
  2. Java : Google introduit la programmation par contrat
    Par Idelways dans le forum Actualités
    Réponses: 0
    Dernier message: 11/02/2011, 12h03
  3. [Language]Programmation par contrat
    Par manube dans le forum Langage
    Réponses: 3
    Dernier message: 20/12/2005, 10h16
  4. [Eiffel] Programmation par contrats
    Par SkIllz2k dans le forum Autres langages
    Réponses: 1
    Dernier message: 02/05/2005, 20h05
  5. [Tests]La programmation par contrats
    Par fabien.raynaud dans le forum Test
    Réponses: 6
    Dernier message: 26/07/2004, 11h06

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo