: Akachat brahim - Benabess rafik2024-09-182024-09-182020http://dspace.univ-khenchela.dz:4000/handle/123456789/6610frVérification et Validation des diagrammes comportementaux d’UML2.0 basées sur OCL .Thesis