Installation de JML sur un linux ? [JML] - Java - Programmation
Marsh Posté le 17-06-2003 à 16:08:07
ok
ben reste plus qu'a esperer alors... perso j'ai jamais entendu parler... C'est quoi ?
Marsh Posté le 17-06-2003 à 16:15:59
c'est une extention de Java. En fait ça implike l'ajout de pré-conditions et de post-conditions au code java. Les pré et post conditions sont ensuite annalysées par le compilateur, et aussi à l'execution (je crois)...
enfin tout ça pour dire que bon...
Marsh Posté le 19-06-2003 à 23:36:16
ptit lien vers ton soft qu'on regarde?
Marsh Posté le 17-06-2003 à 16:00:58
J'ai du mal à compiler, on dirait qu'il me manke des packages ou des librairies...
KK1 à déjà tenté le coup et réussit ?
---------------
HFR - Mes sujets pour Chrome - Firefox - vérifie les nouveaux posts des topics suivis/favoris