Discussion :

[TabrisLeFol]

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

[slim_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

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

[TabrisLeFol]

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.