Discussion :

[alex_pi]

Bonjour.

Je dois me pencher sur le langage de spécification JML (Java Modeling language), et j'aimerais savoir si quelqu'un a des intros à me conseiller (plus c'est théorique, mieux c'est), voir mieux, un bon bouquin.

Merci d'avance :-)

[M@th]

Bonjour,

A part http://www.eecs.ucf.edu/~leavens/JML/
je n'ai pas trouvé grand chose...

Bonne journée,
Mathieu

[verbose]

Une petite recherche sur google m'a rapidement amené à cette page :
http://www.eecs.ucf.edu/~leavens/JML...efman_toc.html