Vérification à la volée de contraintes OCL étendues sur des
7 nov. 2008 ... OCL est un langage formel, basé sur la logique des prédicats du pre- ... d'OCL (
UML 1.4) qui a servi de base à la réalisation de ce support de ...
7 nov. 2008 ... OCL est un langage formel, basé sur la logique des prédicats du pre- ... d'OCL (
UML 1.4) qui a servi de base à la réalisation de ce support de ...