[JML] Debutant en java

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

Peux tu préciser la question ?

Qu'entends tu par "utiliser JML" sans faire de java. JML te permet d'utiliser des contrats dans ton code java ...

Si tu souhaites utiliser les outils JML sur des classes java existantes, eh bien regarde la doc un peu ...

On peu pas grand chose pour toi là ...

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

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

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