Spécification formelle à objets en UML/OCL et B : une approche transformationnelle
/ Rafael-José Marcano Kamenoff ; sous la dir. de Nicole Levy
Une méthode de développement d'architectures logicielles guidée par des objectifs
de qualité / présentée par Parinaz Davari ; sous la direction de Nicole lévy, 2008