Improving automation in model-driven engineering using examples

Cette thèse a pour but d’améliorer l’automatisation dans l’ingénierie dirigée par les modèles (MDE pour Model Driven Engineering). MDE est un paradigme qui promet de réduire la complexité du logiciel par l’utilisation intensive de modèles et des transformations automatiques entre modèles (TM). D’une façon simplifiée, dans la vision du MDE, les spécialistes utilisent plusieurs modèles pour représenter un logiciel, et ils produisent le code source en transformant automatiquement ces modèles. Conséquemment, l’automatisation est un facteur clé et un principe fondateur de MDE. En plus des TM, d’autres activités ont besoin d’automatisation, e.g. la définition des langages de modélisation et la migration de logiciels. Dans ce contexte, la contribution principale de cette thèse est de proposer une approche générale pour améliorer l’automatisation du MDE. Notre approche est basée sur la recherche méta-heuristique guidée par les exemples. Nous appliquons cette approche sur deux problèmes importants de MDE, (1) la transformation des modèles et (2) la définition précise de langages de modélisation. Pour le premier problème, nous distinguons entre la transformation dans le contexte de la migration et les transformations générales entre modèles. Dans le cas de la migration, nous proposons une méthode de regroupement logiciel (Software Clustering) basée sur une méta-heuristique guidée par des exemples de regroupement. De la même façon, pour les transformations générales, nous apprenons des transformations entre modèles en utilisant un algorithme de programmation génétique qui s’inspire des exemples des transformations passées. Pour la définition précise de langages de modélisation, nous proposons une méthode basée sur une recherche méta-heuristique, qui dérive des règles de bonne formation pour les méta-modèles, avec l’objectif de bien discriminer entre modèles valides et invalides. Les études empiriques que nous avons menées, montrent que les approches proposées obtiennent des bons résultats tant quantitatifs que qualitatifs. Ceux-ci nous permettent de conclure que l’amélioration de l’automatisation du MDE en utilisant des méthodes de recherche méta-heuristique et des exemples peut contribuer à l’adoption plus large de MDE dans l’industrie à là venir.

La traduction du nouveau Code civil néerlandais en anglais et en français

La traduction du nouveau Code civil néerlandais en anglais et en français représentait un grand défi en raison du caractère systématique et fondateur d’un code, du recours à une terminologie et à une organisation nouvelles et de la longueur des articles. Dans un premier temps, le Code a été traduit selon une terminologie juridique anglaise strictement civiliste, tant en anglais qu’en français, et a été publié sous un format trilingue. Toutefois, sous la pression des praticiens, lesquels recherchaient une traduction correspondant mieux aux attentes de lecteurs anglophones habitués à la terminologie de la common law, une formule a été élaborée pour produire une version anglaise compréhensible pour les deux familles juridiques, au besoin hors de tout contexte et sans recourir à des notes. Une telle formule mérite considération lorsqu’il s’agira de produire d’autres traductions de textes civilistes en anglais.

Faut-il un code civil européen ? Une analyse économique

Article publié avec l'accord de la Revue Les Cahiers de Droit (accessible sur http://www.fd.ulaval.ca/cahiers/)

Les Principes d'UNIDROIT et le Code civil du Québec : variation et mutations

Un résumé en anglais est également disponible.

Les tiers, vecteurs du réseau social. Les personnes et les biens dans le Code civil du Québec.

Un résumé en anglais est également disposnible.

Le Code civil des Français de 1804 : une transaction entre révolution et réaction

Un résumé en anglais est également disponible.

Les tiers : ces acteurs de la dynamique juridique dans le Code civil du Québec

La vie en société s’organise autour de systèmes structurants : politique, économique, juridique, religieux, etc. En démocratie, le droit a pour mission essentielle d’assurer la paix, la stabilité et la sécurité ; pour ce faire, il tend à rendre toute chose prévisible, en normalisant les comportements, en uniformisant les règles. Ainsi, les rapports privés s’incarneront dans la fixité et la linéarité autour d’une figure relationnelle unique, le duo. La mouvance sociale, l’effervescence économique semblent faire fi de ce moule trop contraignant. Les acteurs s’inscrivent dans la pluralité et tissent des rapports densément enchevêtrés. Selon la théorie juridique classique, le droit doit alors adopter une stratégie de simplification : fragmenter les situations, circonscrire des espaces clos autour de la cellule nucléaire d’origine, en chasser ceux qu’il perçoit comme des parasites. La tactique consiste à se donner une structure binaire, à opposer par exemple les parties aux tiers. L’auteure soutient que la seule présence des tiers, identifiés juridiquement à des étrangers, constitue la marque indélébile du bouillonnement communicationnel. Que le droit refuse d’en rendre compte expressément dévoile l’artificialité de sa construction.

L'application de la notion d'entreprise entre le Code de commerce français et le Code civil du Québec

"Mémoire présenté à la faculté des études supérieures en vue de l'obtention du grade de maîtrise en droit des affaires LLM"