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.

Étude sur le châtiment corporel des enfants chez les protestants conservateurs francophones du Québec : conflit entre loi séculière et loi divine?

Résumé La recherche présentée ici porte sur la manière dont les protestants conservateurs francophones du Québec évaluent la compatibilité entre leurs croyances religieuses et les lois qui limitent le recours au châtiment corporel à l’égard des enfants. Plus précisément, elle s’intéresse à la façon dont ils résolvent les conflits éventuels entre leurs croyances puisées dans la Bible et ces lois. En ce sens, la Bible prescrit dans plusieurs de ses versets, notamment dans le proverbe 22 :15, d’utiliser le châtiment corporel comme moyen pour chasser une inclination au mal qui serait innée chez les enfants et d’effectuer ce châtiment à l’aide d’une verge. De ce fait, de nombreux protestants conservateurs emploient des objets (cuillers en bois, bâtons, baguettes) pour administrer ce châtiment à leurs enfants. Or, ces pratiques entrent en contradiction avec l’article 43 du Code criminel du Canada qui limite et encadre le recours au châtiment corporel et avec la Loi sur la protection de la jeunesse du Québec qui protège les enfants contre des traitements pouvant s’apparenter à de la maltraitance et qui risquent de compromettre leur développement. La méthodologie utilisée est une méthodologie qualitative mixte basée d’abord sur une série d’observations non participantes in situ à des services religieux et des ateliers d’enseignement doctrinal dans quatre congrégations protestantes conservatrices (deux Églises évangéliques, une Église pentecôtiste et une Église baptiste) suivie d’une série d’entretiens auprès de trente-neuf protestants conservateurs québécois francophones appartenant à ces congrégations. Ce matériel a été complété par une analyse documentaire des écrits produits par ces groupes et des écrits d’autres organisations conservatrices consultés par ces groupes. L’analyse des données a permis de dégager chez les protestants conservateurs à l’étude trois différentes attitudes face à l’incompatibilité entre leurs préceptes religieux et les lois séculières : une attitude de conciliation qui se traduit par un effort d’accommodement de ces préceptes à la loi ; une attitude d’omission face à la loi séculière où l’individu opte pour une désobéissance passive de la loi ; et une attitude contestataire face aux autorités où la désobéissance aux lois est envisagée comme une forme de militance. Nous examinons les éléments qui influencent ces différents positionnements face aux lois. En plus de répondre aux objectifs visés, la présente recherche constitue une étude approfondie du discours des protestants conservateurs québécois francophones sur le châtiment corporel des enfants et de leurs pratiques.

Transformation by example

La transformation de modèles consiste à transformer un modèle source en un modèle cible conformément à des méta-modèles source et cible. Nous distinguons deux types de transformations. La première est exogène où les méta-modèles source et cible représentent des formalismes différents et où tous les éléments du modèle source sont transformés. Quand elle concerne un même formalisme, la transformation est endogène. Ce type de transformation nécessite généralement deux étapes : l’identification des éléments du modèle source à transformer, puis la transformation de ces éléments. Dans le cadre de cette thèse, nous proposons trois principales contributions liées à ces problèmes de transformation. La première contribution est l’automatisation des transformations des modèles. Nous proposons de considérer le problème de transformation comme un problème d'optimisation combinatoire où un modèle cible peut être automatiquement généré à partir d'un nombre réduit d'exemples de transformations. Cette première contribution peut être appliquée aux transformations exogènes ou endogènes (après la détection des éléments à transformer). La deuxième contribution est liée à la transformation endogène où les éléments à transformer du modèle source doivent être détectés. Nous proposons une approche pour la détection des défauts de conception comme étape préalable au refactoring. Cette approche est inspirée du principe de la détection des virus par le système immunitaire humain, appelée sélection négative. L’idée consiste à utiliser de bonnes pratiques d’implémentation pour détecter les parties du code à risque. La troisième contribution vise à tester un mécanisme de transformation en utilisant une fonction oracle pour détecter les erreurs. Nous avons adapté le mécanisme de sélection négative qui consiste à considérer comme une erreur toute déviation entre les traces de transformation à évaluer et une base d’exemples contenant des traces de transformation de bonne qualité. La fonction oracle calcule cette dissimilarité et les erreurs sont ordonnées selon ce score. Les différentes contributions ont été évaluées sur d’importants projets et les résultats obtenus montrent leurs efficacités.

De la réforme et de l'harmonisation du droit des sûretés dans un contexte de mondialisation de l'économie : vers un retour au paradigme de l'uniformisation du droit?

La réforme et l’harmonisation du droit des sûretés mobilières sont à l’ordre du jour de plusieurs organisations internationales, car il est admis qu’un régime de sûretés efficient favorise l’accès au crédit à de faibles coûts. L’harmonisation de ce droit comporte deux volets. D’une part, dans l’Occident industrialisé, les efforts d’harmonisation vont de la réforme des droits internes à l’établissement de régimes spéciaux relativement à des biens spécifiques (principalement les biens mobiles de grande valeur, tels les aéronefs, le matériel ferroviaire roulant et les satellites, et les biens incorporels, comprenant les créances, valeurs mobilières, actifs financiers et titres intermédiés). Ces efforts d’harmonisation démontrent que d’un point de vue systémique, malgré quelques différences notables, les régimes nord-américains et européens sont fondés sur des principes similaires et atteignent des résultats comparables. En résulte l’émergence d’un ordre juridique transnational en droit des sûretés mobilières, fondé sur les principes de la primauté de l’individu et la reconnaissance du droit de propriété de l’individu dans ses biens, mis en œuvre grâce à l’État de droit. D’autre part, les institutions financières internationales encouragent l’établissement de régimes de sûretés dans les pays en voie de développement qui obéissent aux mêmes critères que ceux de l’Occident, en insistant sur les réformes institutionnelles et juridiques visant l’établissement d’une bonne gouvernance et l’État de droit. Cependant, une transposition des régimes occidentaux ne peut se faire sans heurts dans les pays en voie de développement, notamment pour des raisons socio-culturelles et politiques. Lorsque les principes de la primauté de l’individu, de la propriété individuelle et de l’État de droit ne sont pas reconnus dans un pays donné, la réforme et l’harmonisation du droit des sûretés s’en trouvent compromis. La démonstration de l’état d’avancement de la réforme et de l’harmonisation du droit des sûretés dans les pays occidentaux industrialisés est faite grâce à une comparaison du Uniform Commercial Code, du Code civil du Québec, des Personal Property Security Acts des provinces canadiennes de common law, des principes des droits français et anglais, de l’influence du droit communautaire sur les pays membres de l’Union Européenne. Sont analysés, aussi, dans cette optique, les principaux instruments de l’harmonisation du droit émanant des organisations internationales. Par ailleurs, deux études de cas relatifs à la réforme du crédit foncier en Égypte et à la réforme de l’urbanisme et de l’habitat en République démocratique du Congo, viennent étayer les difficultés que rencontrent les institutions internationales, telles la Banque mondiale et l’ACDI, dans le cadre de projets de réformes visant la bonne gouvernance et l’instauration d’un véritable État de droit, en partie à cause d’un pluralisme des ordres juridiques de ces pays.

Les effets du régime des services essentiels sur la négociation collective : études de cas dans les secteurs du transport en commun et de la santé et des services sociaux

Au Québec, les négociations collectives dans les secteurs public et parapublic ainsi que dans les services publics sont assujetties aux règles du Code du travail (L.R.Q. C.-27). Certains secteurs dispensant des services dits essentiels, comme le transport en commun et le secteur de la santé et des services sociaux, ont à respecter des règles particulières, différentes de celles des autres secteurs assujettis au régime général édicté par le Code. Ces règles particulières constituent ce qu’on appelle le régime des services essentiels. Les négociations dans les services essentiels comportent des particularités importantes – considérations politiques et absence de substituts des services publics pour la population – qui les distinguent de façon notable des négociations qui se déroulent sous l’égide du modèle général de négociation collective édicté au Code et applicable dans les autres secteurs (Bergeron et Paquet, 2006). Quels sont les effets du régime des services essentiels sur la négociation collective dans le secteur du transport en commun et de la santé et des services sociaux? Dans le cadre de cette recherche, nous avons examiné les effets du régime des services essentiels (les règles du Code du travail et les décisions du Conseil des services essentiels) sur différents aspects de la négociation collective : 1) la mobilisation, 2) le rapport de force, 3) les moyens de pression, 4) le déroulement des négociations, 5) l’arrêt de travail, 6) les résultats de la négociation collective et 7) le climat de travail. Afin d’étudier ces négociations atypiques dans notre système de relations industrielles, nous avons réalisé deux études de cas (secteur du transport en commun et secteur de la santé et des services sociaux). Les résultats indiquent bien que le régime des services essentiels influence le processus de négociation collective dans ces secteurs. Par contre, la comparaison des deux secteurs montre que les règles additionnelles auxquelles est assujetti le secteur de la santé et des services sociaux n’apparaissent pas affecter de façon déterminante le processus de négociation collective.

Le devoir de coopération durant l'exécution du contrat

Sous le régime du Code civil du Bas-Canada, le devoir d’exécuter le contrat de bonne foi était une condition implicite de tout contrat suivant l’article 1024 C.c.B.C. Le 1er janvier 1994, ce devoir a toutefois été codifié à l’article 1375 du Code civil du Québec. Parallèlement à ce changement, le contrat a subi plusieurs remises en question, principalement en raison des critiques émises contre la théorie de l’autonomie de la volonté. En réponse à ces critiques, la doctrine a proposé deux théories qui supposent une importante coopération entre les contractants durant l’exécution du contrat, à savoir le solidarisme contractuel et le contrat relationnel. La notion de bonne foi a aussi évolué récemment, passant d’une obligation de loyauté, consistant généralement en une abstention ou en un devoir de ne pas nuire à autrui, à une obligation plus active d’agir ou de faciliter l’exécution du contrat, appelée devoir de coopération. Ce devoir a donné lieu à plusieurs applications, dont celles de renseignement et de conseil. Ce mémoire étudie la portée et les limites du devoir de coopération. Il en ressort que le contenu et l’intensité de ce devoir varient en fonction de critères tenant aux parties et au contrat. Une étude plus particulière des contrats de vente, d’entreprise et de franchise ainsi que des contrats conclus dans le domaine informatique indique que le devoir de coopération est plus exigeant lorsque le contrat s’apparente au contrat de type relationnel plutôt qu’au contrat transactionnel. Le créancier peut, entre autres choses, être obligé d’« aider » son débiteur défaillant et même de renégocier le contrat devenu déséquilibré en cours d’exécution, bien que cette dernière question demeure controversée. Le devoir de coopération n’est cependant pas illimité parce qu’il s’agit d’une obligation de moyens et non de résultat. Il est également limité, voire inexistant, lorsque le débiteur de cette obligation est tenu à d’autres obligations comme un devoir de réserve ou de non-ingérence, lorsque le cocontractant est de mauvaise foi ou qu’une partie résilie unilatéralement le contrat ou décide de ne pas le renouveler.

Utilisation de la visualisation interactive pour l’analyse des dépendances dans les logiciels

La compréhension de la structure d’un logiciel est une première étape importante dans la résolution de tâches d’analyse et de maintenance sur celui-ci. En plus des liens définis par la hiérarchie, il existe un autre type de liens entre les éléments du logiciel que nous appelons liens d’adjacence. Une compréhension complète d’un logiciel doit donc tenir compte de tous ces types de liens. Les outils de visualisation sont en général efficaces pour aider un développeur dans sa compréhension d’un logiciel en lui présentant l’information sous forme claire et concise. Cependant, la visualisation simultanée des liens hiérarchiques et d’adjacence peut donner lieu à beaucoup d’encombrement visuel, rendant ainsi ces visualisations peu efficaces pour fournir de l’information utile sur ces liens. Nous proposons dans ce mémoire un outil de visualisation 3D qui permet de représenter à la fois la structure hiérarchique d’un logiciel et les liens d’adjacence existant entre ses éléments. Notre outil utilise trois types de placements différents pour représenter la hiérarchie. Chacun peut supporter l’affichage des liens d’adjacence de manière efficace. Pour représenter les liens d’adjacence, nous proposons une version 3D de la méthode des Hierarchical Edge Bundles. Nous utilisons également un algorithme métaheuristique pour améliorer le placement afin de réduire davantage l’encombrement visuel dans les liens d’adjacence. D’autre part, notre outil offre un ensemble de possibilités d’interaction permettant à un usager de naviguer à travers l’information offerte par notre visualisation. Nos contributions ont été évaluées avec succès sur des systèmes logiciels de grande taille.

L'impact de l'obligation de bonne foi: étude sur ses rôles et sanctions lors de la formation et l'élaboration du contrat.

En adoptant le nouveau Code civil du Québec, en 1994, le législateur a codifié une obligation commençant à se développer sérieusement en jurisprudence : l’obligation de bonne foi. Plus que le simple antonyme de la mauvaise foi, cette obligation de bonne foi exige maintenant un comportement spécifique de la part des justiciables. Il faut agir selon les exigences de la bonne foi. Celles-ci sont particulièrement importantes en matière contractuelle, puisqu'en plus des articles généraux du tout début du Code civil, le principe de la bonne foi est réitéré dans le chapitre portant sur les contrats. On y prévoit expressément que la bonne foi doit gouverner les relations contractuelles, et ce, à tous les stades de la vie contractuelle. Notre mémoire s'insère dans cette nouvelle tendance contractuelle. Notre but est d'étudier l'impact de la bonne foi lors de la formation et de l'élaboration du contrat. Cette étude implique de définir et d'analyser les fonctions de l'obligation de bonne foi. En matière de formation et d'élaboration du contrat, une telle analyse ne peut se faire sans une étude détaillée de l'obligation de renseignement, composante essentielle de l'obligation de bonne foi à ce stade de la vie contractuelle. C'est l'étude que nous proposons en première partie de ce mémoire. Cette première partie permettra de constater que l’obligation de bonne foi est une obligation positive de comportement. Les tribunaux utilisent cette obligation pour tenter d'intégrer à la vie contractuelle, une dimension morale comportant des devoirs de loyauté, de collaboration et d'information. Au Québec, la bonne foi est surtout utilisée à des fins interprétative, complétive et limitative du contrat. La deuxième partie de ce mémoire se consacre à l'application des principes dégagés en première partie. Elle permet de constater comment les tribunaux ont, jusqu'à présent, utilisé l’obligation de bonne foi lors de la formation et de l'élaboration du contrat, notamment en la juxtaposant aux vices du consentement. Nous tentons de critiquer cette approche jurisprudentielle et de lui proposer une approche alternative, fondée sur une série de recours spécifiquement et uniquement rattachés à l'obligation de bonne foi. Nous proposerons une série de sanctions spécifiques à l'obligation de bonne foi lors de la formation et de l'élaboration du contrat, le tout en accord avec les fondements de la théorie contractuelle.

Quête spirituelle et réconciliation identitaire : une ethnographie de la Communauté des druides du Québec

Au cours du vingtième siècle, le Québec a connu un bouleversement identitaire et religieux lorsqu’une majorité de Québécois a délaissé les prescriptions doctrinales catholiques, la religion identitaire du Québec, qui encadrait leur vie et s’imposait en tant que détentrice du « code exclusif du sens » (Hervieu-Léger 1993 : 155). Pour combler la perte de repères (Lemieux 2008) engendrée par les bouleversements décrits précédemment, plusieurs individus se tournèrent vers d’autres formes de spiritualité, soit en se convertissant à un nouveau système religieux ou en s’engageant dans une quête spirituelle. Certains Québécois, au cours de leur quête, ont alors découvert le druidisme, une spiritualité fondée sur le désir de retour à l’ancienne religion païenne des Celtes, et l’ont intégré en tant que composante principale ou secondaire de leur spiritualité. Le but de ce mémoire sera d’apporter quelques éléments d’explication à la présence du druidisme au Québec. Nous soulignerons l’importance du contexte moderne dans la quête de sens amorcée par l’adepte de paganisme celte, car ce contexte semble avoir servi de catalyseur dans le processus de découverte du druidisme pour ces Québécois. Puis, nous mettrons l’accent sur les raisons identitaires mises de l’avant par la CDQ pour justifier leur choix d’intégrer le druidisme à leur cheminement spirituel. Nous verrons que pour le druidisant, cette religion vient à la fois répondre à des besoins spirituels et combler un vide identitaire.

Impacts and Detection of Design Smells

Les changements sont faits de façon continue dans le code source des logiciels pour prendre en compte les besoins des clients et corriger les fautes. Les changements continus peuvent conduire aux défauts de code et de conception. Les défauts de conception sont des mauvaises solutions à des problèmes récurrents de conception ou d’implémentation, généralement dans le développement orienté objet. Au cours des activités de compréhension et de changement et en raison du temps d’accès au marché, du manque de compréhension, et de leur expérience, les développeurs ne peuvent pas toujours suivre les normes de conception et les techniques de codage comme les patrons de conception. Par conséquent, ils introduisent des défauts de conception dans leurs systèmes. Dans la littérature, plusieurs auteurs ont fait valoir que les défauts de conception rendent les systèmes orientés objet plus difficile à comprendre, plus sujets aux fautes, et plus difficiles à changer que les systèmes sans les défauts de conception. Pourtant, seulement quelques-uns de ces auteurs ont fait une étude empirique sur l’impact des défauts de conception sur la compréhension et aucun d’entre eux n’a étudié l’impact des défauts de conception sur l’effort des développeurs pour corriger les fautes. Dans cette thèse, nous proposons trois principales contributions. La première contribution est une étude empirique pour apporter des preuves de l’impact des défauts de conception sur la compréhension et le changement. Nous concevons et effectuons deux expériences avec 59 sujets, afin d’évaluer l’impact de la composition de deux occurrences de Blob ou deux occurrences de spaghetti code sur la performance des développeurs effectuant des tâches de compréhension et de changement. Nous mesurons la performance des développeurs en utilisant: (1) l’indice de charge de travail de la NASA pour leurs efforts, (2) le temps qu’ils ont passé dans l’accomplissement de leurs tâches, et (3) les pourcentages de bonnes réponses. Les résultats des deux expériences ont montré que deux occurrences de Blob ou de spaghetti code sont un obstacle significatif pour la performance des développeurs lors de tâches de compréhension et de changement. Les résultats obtenus justifient les recherches antérieures sur la spécification et la détection des défauts de conception. Les équipes de développement de logiciels doivent mettre en garde les développeurs contre le nombre élevé d’occurrences de défauts de conception et recommander des refactorisations à chaque étape du processus de développement pour supprimer ces défauts de conception quand c’est possible. Dans la deuxième contribution, nous étudions la relation entre les défauts de conception et les fautes. Nous étudions l’impact de la présence des défauts de conception sur l’effort nécessaire pour corriger les fautes. Nous mesurons l’effort pour corriger les fautes à l’aide de trois indicateurs: (1) la durée de la période de correction, (2) le nombre de champs et méthodes touchés par la correction des fautes et (3) l’entropie des corrections de fautes dans le code-source. Nous menons une étude empirique avec 12 défauts de conception détectés dans 54 versions de quatre systèmes: ArgoUML, Eclipse, Mylyn, et Rhino. Nos résultats ont montré que la durée de la période de correction est plus longue pour les fautes impliquant des classes avec des défauts de conception. En outre, la correction des fautes dans les classes avec des défauts de conception fait changer plus de fichiers, plus les champs et des méthodes. Nous avons également observé que, après la correction d’une faute, le nombre d’occurrences de défauts de conception dans les classes impliquées dans la correction de la faute diminue. Comprendre l’impact des défauts de conception sur l’effort des développeurs pour corriger les fautes est important afin d’aider les équipes de développement pour mieux évaluer et prévoir l’impact de leurs décisions de conception et donc canaliser leurs efforts pour améliorer la qualité de leurs systèmes. Les équipes de développement doivent contrôler et supprimer les défauts de conception de leurs systèmes car ils sont susceptibles d’augmenter les efforts de changement. La troisième contribution concerne la détection des défauts de conception. Pendant les activités de maintenance, il est important de disposer d’un outil capable de détecter les défauts de conception de façon incrémentale et itérative. Ce processus de détection incrémentale et itérative pourrait réduire les coûts, les efforts et les ressources en permettant aux praticiens d’identifier et de prendre en compte les occurrences de défauts de conception comme ils les trouvent lors de la compréhension et des changements. Les chercheurs ont proposé des approches pour détecter les occurrences de défauts de conception, mais ces approches ont actuellement quatre limites: (1) elles nécessitent une connaissance approfondie des défauts de conception, (2) elles ont une précision et un rappel limités, (3) elles ne sont pas itératives et incrémentales et (4) elles ne peuvent pas être appliquées sur des sous-ensembles de systèmes. Pour surmonter ces limitations, nous introduisons SMURF, une nouvelle approche pour détecter les défauts de conception, basé sur une technique d’apprentissage automatique — machines à vecteur de support — et prenant en compte les retours des praticiens. Grâce à une étude empirique portant sur trois systèmes et quatre défauts de conception, nous avons montré que la précision et le rappel de SMURF sont supérieurs à ceux de DETEX et BDTEX lors de la détection des occurrences de défauts de conception. Nous avons également montré que SMURF peut être appliqué à la fois dans les configurations intra-système et inter-système. Enfin, nous avons montré que la précision et le rappel de SMURF sont améliorés quand on prend en compte les retours des praticiens.

Les troubles du contrôle des impulsions en droit pénal canadien

Un kleptomane, pris d’impulsions irrésistibles, peut-il être responsable pénalement de ses actes ? Voilà la question à l’origine de cette recherche. Les troubles du contrôle des impulsions sont des troubles mentaux caractérisés par l’impossibilité de résister à une impulsion. Comment peut-on concilier ceux-ci avec le droit pénal canadien sachant que la responsabilité criminelle repose sur le postulat voulant que seul un acte volontaire justifie une déclaration de culpabilité ? Afin d’avoir une étude exhaustive sur le sujet, nous avons choisi trois troubles du contrôle des impulsions, soit la kleptomanie, la pyromanie et le jeu pathologique. Cette sélection permet d’étudier à la fois l’imputabilité criminelle et l’imposition d’une sentence en droit pénal canadien. Cette étude propose un retour aux principes fondamentaux de la responsabilité criminelle et l’analyse du droit pénal canadien afin de démontrer que certains troubles du contrôle des impulsions (kleptomanie et pyromanie) entraînent chez le sujet atteint une incapacité criminelle, le rendant non criminellement responsable au sens de l’article 16 du Code criminel. Au surplus, cette recherche porte sur les principes entourant l’imposition d’une sentence en droit pénal canadien et étudie l’impact de ces maladies mentales au point de vue de la peine. Cette analyse démontre que les caractéristiques diagnostiques des troubles du contrôle des impulsions sont utilisées afin d’alourdir la peine imposée aux contrevenants. Nous considérons que celles-ci ne devraient pas être employées comme facteurs aggravants (particulièrement en matière de jeu pathologique), mais devraient plutôt être utilisées afin d’imposer une peine plus appropriée pour remédier à la problématique entraînant la commission des délits.

Calcul en n-dimensions sur GPU

Le code source de la libraire développée accompagne ce dépôt dans l'état où il était à ce moment. Il est possible de trouver une version plus à jour sur github (http://github.com/abergeron).

Analyse du processus relationnel formant la socialisation à un ordre professionnel au Québec

Les professions ont acquis une importance considérable à travers les sociétés modernes. Lors de la modernisation du Code des professions au Québec, les membres de l’Ordre des psychologues du Québec (OPQ) ont eu à se positionner sur les enjeux entourant les développements de leur profession. Ce mémoire analyse le lien entre la structure relationnelle constitutive de la socialisation effectuée par ce groupe professionnel. Ceci, au moment de la redéfinition du cadre législatif en matière de psychothérapie. Des analyses de réseaux sur onze temps, de deux types de capital social, permettent de saisir les corollaires des structures relationnelles sur la socialisation de l’Ordre professionnel. Puis, les discours écrits sur la modernisation dans leur revue professionnelle sont résumés dans un narratif permettant l’analyse des stratégies de leur socialisation. Bien que contingent, la forme de la structure relationnelle stabilise la socialisation des membres. La structure relationnelle amène le capital social collectif à densifier le réseau des relations internes du groupe et permet l’essor, par l’intermédiarité des membres ayant du capital social individuel, d’une culture réseau. Ces membres, bien positionnés dans l’ordre, conduisent la socialisation de l’ensemble du groupe durant les enjeux rencontrés. Le narratif corrobore la concordance des stratégies de socialisation des membres de l’OPQ aux objectifs des principes de l’Office des professions du Québec. Puisque névralgique, bien que contingent, la structure relationnelle de la socialisation participe de la différenciation de degré entre le modèle professionnel et les autres types de métiers.

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.

Les dispositions spéciales de la lex situs en droit international privé des successions

Les « dispositions successorales spéciales » de la lex situs apportent une exception particulière au système unitaire de la loi applicable à la succession. Leur reconnaissance dans le récent Règlement du Parlement européen et du Conseil relatif à la compétence, la loi applicable, la reconnaissance et l'exécution des décisions, et l'acceptation et l'exécution des actes authentiques en matière de successions et à la création d'un certificat successoral européen du 4 juillet 2012 témoigne de l’importance et de l’actualité de cette prévision normative. L’exception trouve sa source dans l’article 15 de la Convention du 1er août 1989 sur la loi applicable aux successions à cause de mort, formule qui fut suivi par l’article 3099 al. 2 du Code civil du Québec. La conception originaire de la règle se situe à l’article 28 de la Loi d’introduction au Code civil allemand de 1896. Ces législations reconnaissent la nécessité de respecter certaines dérogations aux règles successorales ordinaires dont le contenu matériel justifie une rupture exceptionnelle de l’unité de la succession internationale. Ainsi, l’opposition traditionnelle entre le système scissionniste qui divise la loi applicable à la succession en fonction de la nature mobilière ou immobilière des biens et celui qui postule l’unité législative trouve dans le respect des « dispositions spéciales » de la lex rei sitae régissant certains biens de la succession un facteur conciliateur. Il s’agit de respecter un minimum normatif de la loi de l’État où sont situés certains biens de la succession malgré la compétence générale d’une lex successionis étrangère. Ce bloc normatif irréductible se présente comme un pont qui relie les deux solutions extrêmes dans une position intermédiaire où il n’y a plus de scission au sens classique du terme mais où l’unité est néanmoins brisée en raison de certaines considérations substantielles tirées de la destination des biens.