A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect.

Comportements d'autostimulation chez des enfants ayant un trouble envahissant du développement: une intervention parentale pour en diminuer l'occurrence

Rapport d'analyse d'intervention présenté à la Faculté des arts et sciences en vue de l'obtention du grade de Maîtrise ès sciences (M. Sc.) en psychoéducation.

Facteurs liés à l’adoption du dossier médical électronique (DME): une étude de cas sur le processus d'implantation d’un DME dans un groupe de médecine de famille.

Dans l’espoir d'améliorer l'efficacité, l’efficience, la qualité et la sécurité des soins de santé, la plupart des pays investissent dans l’informatisation de leur système de santé. Malgré l’octroi de ressources substantielles, les projets d'implantation d’un Dossier médical électronique (DME) font parfois l’objet d’une résistance importante de la part des utilisateurs au moment de leur implantation sur le terrain. Pour expliquer l’adoption d’un DME par les professionnels de la santé, plusieurs modèles théoriques ont été développés et appliqués. Une diversité de facteurs agissant à différents niveaux (individuel, organisationnel et liés à la technologie elle-même) a ainsi été identifiée. L’objectif de cette recherche est d’approfondir les connaissances empiriques quant aux facteurs influençant l’utilisation du DME chez les professionnels de la santé. Le devis de recherche repose sur une étude de cas unique avec douze entrevues et une observation non participante réalisées un an suite au lancement du processus d’implantation d’un DME auprès d’un groupe de médecine famille (GMF) au sein du Centre de santé et de services sociaux du Sud-Ouest-Verdun (Montréal, Canada). Dans le cadre de cette étude, l’analyse a permis l’identification de facilitateurs et de barrières influençant l’adoption du DME. Les facilitateurs étaient l’utilité perçue, la décision du GMF d’implanter le DME, le support de la direction ainsi que la présence de champions et de superutilisateurs. Les barrières les plus importantes étaient l’impact négatif sur le travail clinique, la fragmentation de l’information dans le DME ainsi que les problèmes liés à l’infrastructure technique. Cette connaissance permettra d’alimenter des stratégies visant à mieux répondre aux défis suscités par l’implantation du dossier médical électronique.

Perceptions par divers acteurs d'une politique éventuelle de promotion de santé nutritionnelle en milieu scolaire libanais

Thesis (French) including 3 main articles (English)

Redefining U.S. borders : a reading of Sandra Cisneros’s Caramelo, Cristina Garcia’s The Agüero Sisters, and David Plante’s The Family and The Native

Cette thèse propose une redéfinition de la notion de frontière dans le contexte américain, avec pour point de départ les romans de trois voix littéraires issues de trois minorités ethniques : Sandra Cisneros (Caramelo), Cristina Garcia (The Agüero Sisters) et David Plante (The Family et The Native). Je conceptualise la frontière comme fluctuation entre mouvement et immobilité, entre porosité et imperméabilité. Dans le premier chapitre, je fournis des repères sur la théorie des frontières et j'analyse les avancées de ce champ d'étude, du concept de terre frontalière (“Borderland Theories”) jusqu'aux récits d'immigration. Je propose un cadre conceptuel que j'appelle « Écrire la frontière à partir de la perspective de la frontière », lequel permet une lecture neuve des récits de frontière, et une redéfinition de la notion elle-même. Prise comme perspective, la frontière est une dynamique vivante, ce qui la rend plurielle et impossible à fixer définitivement; aussi les récits de frontière présentent-ils une grande variété d’expériences, toutes liées à des moments et à des points de vue uniques. Dans le second chapitre, j’analyse la porosité des frontières dans le contexte géopolitique contemporain, en mettant en lumière comment la colonisation, la mondialisation économique et l’immigration sont autant de mécanismes de transgression des frontières qui suivent des orientations transnationales, dénationales et postnationales. Dans le troisième chapitre, j’étudie la résurgence des frontières dans la vie des immigrants qui habitent aux États-Unis. J’identifie l’insécurité capitaliste ainsi que la marchandisation de l’espace et de l’ethnicité comme étant à l'origine du renforcement des frontières délimitant les quartiers ethniques; génératrices de stéréotypes négatifs, ces divisions physiques deviennent une technologie d’exclusion et d’injustice sociale. Le dernier chapitre présente une lecture des aspects esthétiques de la frontière, voyant comment ils peuvent contribuer à écrire la frontière à partir de la perspective de la frontière. Dans les textes à l'étude, j'examine de près la problématisation du concept de représentation, la multiplicité des points de vue narratifs, l’inaccessibilité du réel, et la partialité de la médiation. Mots clés : Théories et écrits sur les frontières, minorités ethniques aux États-Unis, multiculturalisme, culture, immigration, mondialisation, espace, place, territoire, état-nation, nationalisme, histoire, langue et langage, représentation, communauté, justice sociale, citoyenneté

Méthodes de rééchantillonnage en méthodologie d'enquête

Le sujet principal de cette thèse porte sur l'étude de l'estimation de la variance d'une statistique basée sur des données d'enquête imputées via le bootstrap (ou la méthode de Cyrano). L'application d'une méthode bootstrap conçue pour des données d'enquête complètes (en absence de non-réponse) en présence de valeurs imputées et faire comme si celles-ci étaient de vraies observations peut conduire à une sous-estimation de la variance. Dans ce contexte, Shao et Sitter (1996) ont introduit une procédure bootstrap dans laquelle la variable étudiée et l'indicateur de réponse sont rééchantillonnés ensemble et les non-répondants bootstrap sont imputés de la même manière qu'est traité l'échantillon original. L'estimation bootstrap de la variance obtenue est valide lorsque la fraction de sondage est faible. Dans le chapitre 1, nous commençons par faire une revue des méthodes bootstrap existantes pour les données d'enquête (complètes et imputées) et les présentons dans un cadre unifié pour la première fois dans la littérature. Dans le chapitre 2, nous introduisons une nouvelle procédure bootstrap pour estimer la variance sous l'approche du modèle de non-réponse lorsque le mécanisme de non-réponse uniforme est présumé. En utilisant seulement les informations sur le taux de réponse, contrairement à Shao et Sitter (1996) qui nécessite l'indicateur de réponse individuelle, l'indicateur de réponse bootstrap est généré pour chaque échantillon bootstrap menant à un estimateur bootstrap de la variance valide même pour les fractions de sondage non-négligeables. Dans le chapitre 3, nous étudions les approches bootstrap par pseudo-population et nous considérons une classe plus générale de mécanismes de non-réponse. Nous développons deux procédures bootstrap par pseudo-population pour estimer la variance d'un estimateur imputé par rapport à l'approche du modèle de non-réponse et à celle du modèle d'imputation. Ces procédures sont également valides même pour des fractions de sondage non-négligeables.

Le dauphin et l’astrologue : le Livret des elections universelles des 12 maisons de Pèlerin de Prusse

In 1361, at Hotel St-Pol, the future king of France, Charles the Fifth, received a book entitled Livret des elections universelles des 12 maisons from his astrologer, Pèlerin de Prusse. Written in old French during the translatio studii period, the book contains two books and describes several astrological theories along with precise descriptions of the twelve houses. Charles the Fifth is widely known as Charles the Wise in our present day. This is due to his vast contributions to the Louvre library as well as his impulse of translations from Latin to the French of the auctoritates and his passion for astrology. The significance imparted on astrology prior and during Charles the Fifth’s reign is apparent in Pèlerin de Prusse’s text Traité des elections, commissioned by Charles during a time of political unrest. The defeat of Poitiers, the États of 1356 to 1358 as well as the Jacquerie define the political landscape of 14th century France. Located at Oxford and the Vatican, two copies are extant, and neither have been edited from the original or subjected to detailed examination and study. This master will present a transcription of the first part of the Livret des elections universelles des 12 maisons.

Quel sens faut-il donner à l’universalité de l’herméneutique chez Gadamer? : sa légitimité face aux critiques de Jürgen Habermas

La distance historique qui nous sépare de la publication de Vérité et méthode permet une meilleure intelligence de l’aspect universel de l’herméneutique de Hans-Georg Gadamer qui a suscité tant de débats immédiatement après la parution de son ouvrage. L’herméneute a en effet pu, dans plusieurs textes qu’il a écrits au cours des dernières décennies, préciser sa conception et mieux attester cette universalité, notamment en l’associant à l’universalité de la rhétorique elle-même. Un nouveau regard porté sur les divers débats suscités par cette prétention de l’universalité de l’herméneutique permet aussi de s’en faire une idée plus claire et limpide. Le présent mémoire se penche sur le sens à donner à l’universalité de l’herméneutique en tenant compte des sections décisives de Vérité et méthode qui y sont consacrées, des écrits plus tardifs de Gadamer sur la question et de la littérature secondaire afin de voir si cette prétention à l’universalité peut être défendue face aux critiques formulées par Jürgen Habermas. Nous soutiendrons dans ce mémoire que c’est le cas, mais aussi que la critique de Habermas a aidé Gadamer à mieux formuler et faire comprendre l’universalité de l’herméneutique. C’est précisément en tenant compte de l’apport de ceux qui pensent autrement que s’atteste l’universalité de l’herméneutique.

Écriture autobiographique et sceau cicatriciel dans L’Ascension du Haut Mal de David B.

Le présent mémoire vise à détailler les particularités du discours autobiographique dans L’Ascension du Haut Mal afin de saisir la poétique de David B. comme un sceau cicatriciel permettant de rendre compte de la maladie fraternelle et d’y faire face, au moyen de stratégies autobiographiques qui consolident textuellement et visuellement l’identité de l’auteur-personnage au sein du récit. Le premier chapitre consiste en une étude sur les récits de soi en bande dessinée. Un survol historique de l’évolution de la bande dessinée autobiographique dans la francophonie européenne inscrit L’Ascension du Haut Mal dans le mouvement de contestation mené par les maisons d’édition alternatives du début des années 1990. Puis, l’état des lieux en matière de théories portant sur l’autobiographie en bande dessinée établit les critères selon lesquels cette œuvre répond au genre autobiographique. Les deux chapitres suivants correspondent aux grands axes du discours autoréférentiel de L’Ascension du Haut Mal: le postulat d’un pacte autobiographique et le récit de la construction identitaire de l’auteur. Le deuxième chapitre explique par quels moyens l’hybridité formelle, la dimension fantasmatique et le foisonnement intertextuel de l’œuvre étudiée altèrent le pacte autobiographique sans toutefois le rompre. Le troisième chapitre démontre que le développement identitaire du personnage de David B. répond à une logique d’opposition, en regard de son frère, de la société et même de la réalité, visible jusque dans l’esthétique de l’auteur. L’analyse des marques graphiques et thématiques symptomatiques des défenses élevées par David B. contre la tyrannie du Haut Mal, l’épilepsie, est effectuée.

Les effets d’un cercle pédagogique sur le regard professionnel et les pratiques pédagogiques des enseignants du 3e cycle du primaire en grammaire actuelle

Notre recherche doctorale vise à décrire les effets d’un cercle pédagogique sur les pratiques pédagogiques et didactiques d’enseignants du 3e cycle du primaire en grammaire actuelle. Ce projet s’inscrit dans une recherche plus large intitulée « Étude des effets, sur les pratiques pédagogiques des enseignants et la compétence à écrire des élèves, d’un dispositif de formation à la grammaire nouvelle qui intègre des exemples de pratiques sur vidéo et permet un partage d'expertise ». Elle vise à éclairer les conditions d’efficacité d’une formation continue sur différentes dimensions du développement professionnel au regard de la formation elle-même et de son effet sur le transfert des pratiques en classe. Pour y parvenir, nous avons analysé les échanges provenant des cercles pédagogiques vécus durant une année scolaire. Nous avons également analysé deux activités de grammaire, avant et après la formation en grammaire offerte sous forme de capsules. Ces observations en classe ont été captées sur vidéo, dans la classe de 18 enseignants participant à notre expérimentation. Nous avons enfin analysé les réponses des participants à un questionnaire sur leur perception à l’égard du dispositif de formation auquel ils ont participé pendant neuf mois. Nos analyses montrent qu’un dispositif de formation à la grammaire actuelle qui met au cœur de la formation l’analyse d’exemples de pratiques sur vidéo soutient le développement du regard professionnel des enseignants dans le contexte du cercle. Ceux-ci observent plus d’interactions et les interprètent mieux, de manière plus approfondie. Nos observations ont également montré que les enseignants développent majoritairement des pratiques dans leur classe, qu’ils développent de nouveaux savoirs en lien avec le cadre théorique de la nouvelle grammaire et qu’ils modifient la vision qu’ils ont de la grammaire actuelle au fil des rencontres. Cette recherche peut enrichir les connaissances scientifiques sur le développement professionnel et influencer les formateurs d’enseignants de même que les cadres des milieux scolaires pour ajuster l’offre de formation continue afin de la rendre plus efficace.

Essays in economics of information

Cette thèse est une collection de trois articles en économie de l'information. Le premier chapitre sert d'introduction et les Chapitres 2 à 4 constituent le coeur de l'ouvrage. Le Chapitre 2 porte sur l’acquisition d’information sur l’Internet par le biais d'avis de consommateurs. En particulier, je détermine si les avis laissés par les acheteurs peuvent tout de même transmettre de l’information à d’autres consommateurs, lorsqu’il est connu que les vendeurs peuvent publier de faux avis à propos de leurs produits. Afin de comprendre si cette manipulation des avis est problématique, je démontre que la plateforme sur laquelle les avis sont publiés (e.g. TripAdvisor, Yelp) est un tiers important à considérer, autant que les vendeurs tentant de falsifier les avis. En effet, le design adopté par la plateforme a un effet indirect sur le niveau de manipulation des vendeurs. En particulier, je démontre que la plateforme, en cachant une partie du contenu qu'elle détient sur les avis, peut parfois améliorer la qualité de l'information obtenue par les consommateurs. Finalement, le design qui est choisi par la plateforme peut être lié à la façon dont elle génère ses revenus. Je montre qu'une plateforme générant des revenus par le biais de commissions sur les ventes peut être plus tolérante à la manipulation qu'une plateforme qui génère des revenus par le biais de publicité. Le Chapitre 3 est écrit en collaboration avec Marc Santugini. Dans ce chapitre, nous étudions les effets de la discrimination par les prix au troisième degré en présence de consommateurs non informés qui apprennent sur la qualité d'un produit par le biais de son prix. Dans un environnement stochastique avec deux segments de marché, nous démontrons que la discrimination par les prix peut nuire à la firme et être bénéfique pour les consommateurs. D'un côté, la discrimination par les prix diminue l'incertitude à laquelle font face les consommateurs, c.-à-d., la variance des croyances postérieures est plus faible avec discrimination qu'avec un prix uniforme. En effet, le fait d'observer deux prix (avec discrimination) procure plus d'information aux consommateurs, et ce, même si individuellement chacun de ces prix est moins informatif que le prix uniforme. De l'autre côté, il n'est pas toujours optimal pour la firme de faire de la discrimination par les prix puisque la présence de consommateurs non informés lui donne une incitation à s'engager dans du signaling. Si l'avantage procuré par la flexibilité de fixer deux prix différents est contrebalancé par le coût du signaling avec deux prix différents, alors il est optimal pour la firme de fixer un prix uniforme sur le marché. Finalement, le Chapitre 4 est écrit en collaboration avec Sidartha Gordon. Dans ce chapitre, nous étudions une classe de jeux où les joueurs sont contraints dans le nombre de sources d'information qu'ils peuvent choisir pour apprendre sur un paramètre du jeu, mais où ils ont une certaine liberté quant au degré de dépendance de leurs signaux, avant de prendre une action. En introduisant un nouvel ordre de dépendance entre signaux, nous démontrons qu'un joueur préfère de l'information qui est la plus dépendante possible de l'information obtenue par les joueurs pour qui les actions sont soit, compléments stratégiques et isotoniques, soit substituts stratégiques et anti-toniques, avec la sienne. De même, un joueur préfère de l'information qui est la moins dépendante possible de l'information obtenue par les joueurs pour qui les actions sont soit, substituts stratégiques et isotoniques, soit compléments stratégiques et anti-toniques, avec la sienne. Nous établissons également des conditions suffisantes pour qu'une structure d'information donnée, information publique ou privée par exemple, soit possible à l'équilibre.

Studying Your Own Country. Social Scientific Knowledge For Our Times and Places; Presidential Address to the Canadian Political Science Association, St Catharines, May 28, 2014

Political science is both a generalizing and an anchored, nationally defined, discipline. Too often, the first perspective tends to crowd out the latter, because it appears more prestigious, objective, or scientific. Behind the international/national dichotomy, there are indeed rival conceptions of social science, and important ontological, epistemological and methodological assumptions. This article discusses these assumptions and stresses the critical contribution of idiographic, single-outcome studies, the importance of producing relevant, usable knowledge, and the distinctive implications of studying one’s own country, where a scholar is also a citizen, involved in more encompassing national conversations. The aim is not to reject the generalizing, international perspective, or even the comparative approach, but rather to reaffirm the importance of maintaining as well, and in fact celebrating, the production of social scientific knowledge directly relevant for our own times and places.

L’exonération conventionnelle de responsabilité confrontée à l’obligation essentielle du contrat

L’autonomie de la volonté demeure aujourd’hui encore, et heureusement, un fondement central du droit civil des contrats. Les principes de liberté contractuelle et de force obligatoire du contrat laissent aux contractants le choix d’aménager les différents paramètres et conditions d’exécution de leur entente, y compris de prévoir à l’avance la limitation ou même l’exclusion de la responsabilité découlant de l’inexécution du contenu contractuel. Cette liberté n’est cependant pas sans borne. Celle-ci doit, depuis l’adoption du Code civil du Québec, obligatoirement s’insérer dans une philosophie morale du rapport contractuel. Ainsi, la question de savoir si l’autonomie de la volonté des contractants va jusqu’à permettre à ceux-ci de s’exonérer d’une obligation essentielle dans le rapport contractuel fait l’objet du présent mémoire. Seront donc étudiés, d’abord, les principaux concepts juridiques interpellés par une telle problématique, soit l’exonération conventionnelle de responsabilité, d’une part, et le concept d’obligation essentielle du contrat, d’autre part. Par la suite, sera observée, dans quelle mesure les principes de liberté contractuelle et de force obligatoire du contrat sont susceptibles de fonder, sous le Code civil du Bas-Canada, d’abord, et sous le Code civil du Québec, ensuite, l’exonération conventionnelle de l’inexécution d’une obligation essentielle. La dernière partie de l’étude sera réservée à l’impact de la moralité contractuelle du Code civil du Québec sur l’exonération conventionnelle de responsabilité. Au regard de la jurisprudence contemporaine, cette conception morale du contrat s’oppose visiblement à ce que l’exonération conventionnelle puisse servir à dégager un contractant de l’inexécution d’une obligation essentielle.

Drogue et violence : deux mots surchargés d'émotion

Au cours de la dernière décennie, un intérêt croissant a marqué l’étude de la violence en rapport avec la drogue. Bien sûr, cet intérêt a partiellement été attisé par certains médias qui ont associé drogue et crime dans un bon nombre de reportage et ce, non sans raison. Parallèlement à cet étalage médiatique de la relation drogue-violence, un certain nombre d’études scientifiques nous ont permis de mieux organiser notre connaissance en ce domaine. Ce texte a pour objectif de synthétiser cette connaissance. Nous y verrons que l’alcool constitue la substance psychoactive la plus associée à la violence. Toutefois, même si statistiquement l’alcool est fréquemment lié à la violence, la nature de cette relation est encore mal expliquée. Il est maintenant généralement reconnu que l’alcool seul ne peut expliquer le comportement violent; il faut également analyser les facteurs propres à l’individu (psychologique, cognitifs, physiologiques) de même que le contexte dans lequel il évolue. Entre autres, on croit de plus en plus que la relation alcool/violence serait médiatisée par les attentes individuelles et sociales à l’effet que la consommation importante d’alcool pourrait favoriser la manifestation de tels comportements dans certaines circonstances. Du côté des drogues illicites, il apparaît que les politiques prohibitionnistes ainsi que nos pratiques répressives sont en grande partie responsables de la violence qui se manifeste dans ce marché incontrôlé par son illégalité et rendu attrayant par les occasions de profits extraordinaires. Par ailleurs, il faut être conscient que le système pénal et socio-sanitaire que nous avons mis en place est également responsable d’une forme de violence non-négligeable qui sévit à l’égard des consommateurs de drogues et des toxicomanes.

Vivre et écrire Hochelaga

Le roman montréalais actuel configure souvent un espace géographique beaucoup plus vaste que la ville elle-même, celle-ci se situant au croisement de trajectoires qui étendent ses frontières imaginaires aux dimensions du monde. Pensons à « Nikolski » de Nicolas Dickner, par exemple, ou au dernier roman de Monique LaRue, « L’Œil de Marquise ». Mais, tout aussi bien, certains écrivains choisissent, dans un mouvement inverse, de condenser l’espace urbain, saisissant Montréal à travers l’un de ses quartiers. Je me pencherai sur deux oeuvres fort différentes, le roman « 20 h 17 rue Darling » de Bernard Émond, et le recueil de poèmes « L’Œil au calendrier » de Gabriel Landry, afin de comprendre comment l’urbanité montréalaise s’y vit dans les limites d’un quartier, Hochelaga, qui devient ainsi l’incarnation intime de la ville. Je m’intéresserai à la forme qui se trouve donnée au temps, dans cet espace métonymique, et à la manière dont le temps et l’espace se trouvent croisés au fil des déambulations des sujets narrateurs qui font d’Hochelaga le lieu improbable du vivre-ensemble montréalais le plus contemporain.