Contrarius: Générateur d'Aspects servant à valider le respect de contrats OCL - Durocher, Pascal (ProQuest Dissertations and Theses, 2008)