Version imprimable
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)Citation:
Envoyé par 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.