Discussion :

[ould64]

je voudrais que vous m'explicez coment utilisez JML sachant que je peut pas
écrire un simple programme en java.
merci en avance

[ould64]

coucou,
je vous demande de m'explicuez quand j'écrie le poste condition et le précondition.
en plus si vous conaisez un lien de des cours ou des exo resolu ce sera bon pour moi.
A tres bientôt

[ould64]

Bonjour,
je suis malade je voudrais que vous m'aidez pour n'est pas rater l'examen du java en plus je suis debutant .
on fait JML avec STRING char ...tableau ...ect
si vous connaisez une site des liens vers des exos resolus ou des cours bien resumé n'hisitez pas de m'envoyez ça.
merci en avance

[in]

Google : JML

le premier lien est le site du projet JML avec de la doc, des tutos ... je vois pas ce qu'il y a de mieux pour commencer.

Sinon le lien wikipedia à l'air bien, comme d'hab