Cours/Tutorial de JML : Java Modeling Langage ????
Cours/Tutorial de JML : Java Modeling Langage ???? - Java - Programmation
Marsh Posté le 18-06-2004 à 08:48:24
| eldiablo a écrit : Lo ! |
haha toi aussi t'ai dans la merde :-)
![[:xx_xx]](https://forum-images.hardware.fr/images/perso/xx_xx.gif "[:xx_xx]")
Marsh Posté le 18-06-2004 à 09:08:20
| the real moins moins a écrit : skoi jml ? |
Java Modeling Language.
Un langage de spécification pour java, permettant d'exprimer des contrats d'interface et des spécifications comportementale :
Code :
|
---------------
brisez les rêves des gens, il en restera toujours quelque chose... -- laissez moi troller sur discu !
Marsh Posté le 18-06-2004 à 09:09:36
euh et concretement t'en fais quoi, à part oublier de le mettre à jour ?
Marsh Posté le 18-06-2004 à 09:10:27
| the real moins moins a écrit : euh et concretement t'en fais quoi |
Des pré/posts sans (trop) alourdir le code ![[:spamafote]](https://forum-images.hardware.fr/images/perso/spamafote.gif "[:spamafote]")
---------------
brisez les rêves des gens, il en restera toujours quelque chose... -- laissez moi troller sur discu !
Marsh Posté le 18-06-2004 à 09:34:41
| the real moins moins a écrit : qui sont processés par qui/quoi/quand ? |
par un processeur JML qui va créer les véritables pre/post lors de la compilation ?
---------------
brisez les rêves des gens, il en restera toujours quelque chose... -- laissez moi troller sur discu !
Marsh Posté le 18-06-2004 à 09:39:17
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.
Marsh Posté le 18-06-2004 à 09:44:18
| the real moins moins a écrit : 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.
---------------
brisez les rêves des gens, il en restera toujours quelque chose... -- laissez moi troller sur discu !
Marsh Posté le 18-06-2004 à 09:47:53
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.
---------------
brisez les rêves des gens, il en restera toujours quelque chose... -- laissez moi troller sur discu !
Marsh Posté le 18-06-2004 à 09:53:01
| kadreg a écrit : 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 ![[:popok]](https://forum-images.hardware.fr/images/perso/popok.gif "[:popok]")
Marsh Posté le 18-06-2004 à 10:03:41
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é.
---------------
brisez les rêves des gens, il en restera toujours quelque chose... -- laissez moi troller sur discu !
Marsh Posté le 18-06-2004 à 10:06:44
| the real moins moins a écrit : tu vas me poster un nouvel accronyme à chaque post? |
OMG, the marvelous world of acronyms 
---------------
brisez les rêves des gens, il en restera toujours quelque chose... -- laissez moi troller sur discu !
![[:chacal_one333]](https://forum-images.hardware.fr/images/perso/chacal_one333.gif "[:chacal_one333]")
Marsh Posté le 18-06-2004 à 13:35:01
kadreg a écrit :
|
Encore un petit (hum hum) effort et Java fera aussi bien qu'Eiffel 
Marsh Posté le 18-06-2004 à 13:52:19
| Gonzoide a écrit : 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.
---------------
brisez les rêves des gens, il en restera toujours quelque chose... -- laissez moi troller sur discu !
Marsh Posté le 18-06-2004 à 14:01:48
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 
Marsh Posté le 15-07-2004 à 11:21:42
| Gonzoide a écrit : 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. |
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.
++
Marsh Posté le 15-07-2004 à 11:41:22
JML, MDA, PIM, PSM... ONRC* !
* On N'a Rien Compris.
Message édité par HelloWorld le 15-07-2004 à 11:41:58
---------------
FAQ fclc++ - FAQ C++ - C++ FAQ Lite
Sujets relatifs:
- [conseils demandés] Choix d'un langage pour un projet
- Comparer les perfs de calcul d'un langage, c'est possible ?
- [Java/SWT] : asyncExec et syncExec, Threads, affichage.
- Executable Java
- [JAVA] Votre code Swing(ou autre) vous l'organisez comment ?
- [gl4java - Java]Problème de picking avec gl4java
- [JAVA - DEBUTANT] Plusieurs containers ?
- Java Multimedia
- [Java 1.5] Types generiques
- [Java] Emplacement d'un fichier dans un JAR
Marsh Posté le 16-06-2004 à 09:51:42
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 !