1La chaleur
2Répondre
Vérifier quelque chose une fois dans la boucle imbriquée/invariants de boucle
2La chaleur
2Répondre
Pourquoi cet invariant devient-il faux?
0La chaleur
1Répondre
Contrainte OCL utilisant des classificateurs Ecore - Exception de type Unknow
1La chaleur
1Répondre
Hoare Logic, en boucle avec '<='