Un formalisme pour la traçabilité des transformations

Dans le développement logiciel en industrie, les documents de spécification jouent un rôle important pour la communication entre les analystes et les développeurs. Cependant, avec le temps, les changements de personel et les échéances toujours plus courtes, ces documents sont souvent obsolètes ou incohérents avec l'état effectif du système, i.e., son code source. Pourtant, il est nécessaire que les composants du système logiciel soient conservés à jour et cohérents avec leurs documents de spécifications pour faciliter leur développement et maintenance et, ainsi, pour en réduire les coûts. Maintenir la cohérence entre spécification et code source nécessite de pouvoir représenter les changements sur les uns et les autres et de pouvoir appliquer ces changements de manière cohérente et automatique. Nous proposons une solution permettant de décrire une représentation d'un logiciel ainsi qu'un formalisme mathématique permettant de décrire et de manipuler l'évolution des composants de ces représentations. Le formalisme est basé sur les triplets de Hoare pour représenter les transformations et sur la théorie des groupes et des homomorphismes de groupes pour manipuler ces transformations et permettrent leur application sur les différentes représentations du système. Nous illustrons notre formalisme sur deux représentations d'un système logiciel : PADL, une représentation architecturale de haut niveau (semblable à UML), et JCT, un arbre de syntaxe abstrait basé sur Java. Nous définissons également des transformations représentant l'évolution de ces représentations et la transposition permettant de reporter les transformations d'une représentation sur l'autre. Enfin, nous avons développé et décrivons brièvement une implémentation de notre illustration, un plugiciel pour l'IDE Eclipse détectant les transformations effectuées sur le code par les développeurs et un générateur de code pour l'intégration de nouvelles représentations dans l'implémentation.

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"