Ingénierie Dirigée par les Modèles - Page de Xavier Crégut - Enseeiht

Exemple : Exprimer que le nb de pages d'un livre est positif en OCL : context Livre inv: nbPages > 0 .... Syntaxe concrète des réseaux de Petri pour Tina. Eté.


Un extrait du document