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 :-)
Version imprimable
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 :-)
Bonjour,
A part http://www.eecs.ucf.edu/~leavens/JML/
je n'ai pas trouvé grand chose...
Bonne journée,
Mathieu
Une petite recherche sur google m'a rapidement amené à cette page :
http://www.eecs.ucf.edu/~leavens/JML...efman_toc.html