Lo !
Voila j'ai un gros projet a faire en JML pour septembre, mais je ne connais rien de JML !
J'ai fais des recherches mais j'ai pas trouvé de bons cours ou de tutorial en Francais.
Si vous en connaissez ?
'ci d'avance !

 
haha toi aussi t'ai dans la merde :-)

skoi jml ?

 
Java Modeling Language.  
 
Un langage de spécification pour java, permettant d'exprimer des contrats d'interface et des spécifications comportementale :  
 

euh et concretement t'en fais quoi, à part oublier de le mettre à jour ?

(ps: y'a StrictMath depuis un 1.3 cai mieux que Math)

 
Des pré/posts sans (trop) alourdir le code

qui sont processés par qui/quoi/quand ?

et des cours ??? quelqu' un ???

 
par un processeur JML qui va créer les véritables pre/post lors de la compilation ?

mouaif. donc au lieu de foutre du code tu fous de la doc, ce qui au final rend pas vraiment ton truc plus ou moins lisible quoi.

 
Bah si, on y gagne quand même puisque dans le code, on ne garde que l'application, pas son auto-vérification.
 

ouaip.

 
Ne pense pas qu'en edition de code dans jBuilder. Pense qu'en MDA, on fait des générations allégées et des transformations de modèle automatique. A savoir que le code PSM dans lequel développe le développeur est différent (pas d'auto check) de celui qui tourne ensuite.

j'ai jamais été convaincu par la generation de code autre que d'optimisation ou des trucs style ejb.. mais de la generation de code "business" j'ai toujours trouvé ça louche

Ca l'est. Et MDA est à mon avis un non sens. Le cout de développement des rêgles de transformation complètes PIM->PSM est telle pour obtenir quelque chose de correct qu'il faut miex développer directement un PSM et maintenir un PIM de référence à coté.

tu vas me poster un nouvel accronyme à chaque post?

 
OMG, the marvelous world of acronyms

çui là jle connais, "oh my god"

LMAO, mais IMHO on comprend rien de ce que tu écris
 

Encore un petit (hum hum) effort et Java fera aussi bien qu'Eiffel

 
C'est clairement l'inspiration . C'est d'ailleurs dit sur le site.

C'est vrai que ca part d'une bonne intention, mais tant que ca ne sera pas dans le langage lui-meme, ca ne sera pas satisfaisant. Pour memoire, les pre et postconditions s'heritent en Eiffel, et donc une methode surchargee devient de plus en plus restrictive.  
 
PS : Il faudrait aussi les invariants de classes, et tant qu'on y est les variants et les invariants de boucle

 
 
ben c bien je vois qu' il y en a qui connaisse déjà le sujet, mais ca m'aide pas beaucoup moi
Je connais rien du tout du JML pour le moment, et j'ai beaucoup de mal a trouver des cours/Tuto. dessus.
Je dois réaliser un correcteur orthographique en JML et j'ai besoin d'un coup de pouce pour démarer !
Merci d'avance a tous ceux qui voudrons bien m'aider.
++

JML, MDA, PIM, PSM... ONRC* !
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
* On N'a Rien Compris.