Kamal Boulil. Une approche automatisée basée sur des contraintes d'intégrité définies en UML et OCL pour la vérification de la cohérence logique dans les systèmes SOLAP : Applications dans le domaine agri-environnemental. PhD thesis, Blaise Pascal University, Clermont-Ferrand, France, 2012. [doi]
Abstract is missing.