Détection de vulnérabilités appliquée à la vérification de code intermédiaire de Java Card

La vérification de la résistance aux attaques des implémentations embarquées des vérifieurs de code intermédiaire Java Card est une tâche complexe. Les méthodes actuelles n'étant pas suffisamment efficaces, seule la génération de tests manuelle est possible. Pour automatiser ce processus, nous proposons une méthode appelée VTG (Vulnerability Test Generation, génération de tests de vulnérabilité). En se basant sur une représentation formelle des comportements fonctionnels du système sous test, un ensemble de tests d'intrusions est généré. Cette méthode s'inspire des techniques de mutation et de test à base de modèle. Dans un premier temps, le modèle est muté selon des règles que nous avons définies afin de représenter les potentielles attaques. Les tests sont ensuite extraits à partir des modèles mutants. Deux modèles Event-B ont été proposés. Le premier représente les contraintes structurelles des fichiers d'application Java Card. Le VTG permet en quelques secondes de générer des centaines de tests abstraits. Le second modèle est composé de 66 événements permettant de représenter 61 instructions Java Card. La mutation est effectuée en quelques secondes. L'extraction des tests permet de générer 223 tests en 45 min. Chaque test permet de vérifier une précondition ou une combinaison de préconditions d'une instruction. Cette méthode nous a permis de tester différents mécanismes d'implémentations de vérifieur de code intermédiaire Java Card. Bien que développée pour notre cas d'étude, la méthode proposée est générique et a été appliquée à d'autres cas d'études.

Conception d’outils (autoévaluation, liste de vérification, grille d’évaluation à échelle descriptive) pour l’évaluation formative des savoir-être professionnels chez les stagiaires du programme collégial Techniques d’inhalothérapie

Plusieurs programmes de formation offrent des stages pour compléter la formation et valider les apprentissages des stagiaires en regard du développement de leurs compétences. L’évaluation des savoirs et des savoir-faire occupe une grande place lors de la prestation des stagiaires et permet d’établir leur niveau de compétence. Mais qu’en est-il de l’évaluation de leurs savoir-être professionnels ? Pourtant le savoir-être est une composante indispensable au plein développement de la compétence. Les stagiaires manifestent leurs savoir-être professionnels en milieu clinique. Sans s’en rendre compte, leurs comportements influencent leur future embauche par une institution de santé. C’est la plus value qui fait la différence. Dans notre pratique enseignante, souvent nous éprouvons des difficultés dans l’accompagnement des stagiaires pour le plein développement de leurs savoir-être professionnels. Lorsque surviennent des difficultés, l’absence d’outil rend difficile la tâche d’évaluation des savoir-être professionnels. Cette réalité nous amène au thème de cet essai qui vise la conception d’outils d’évaluation des savoir-être professionnels pour les stagiaires du programme collégial Techniques d’inhalothérapie. Les difficultés d’évaluation des savoir-être professionnels dues à l’absence d’outils a entraîné une réflexion nous menant tout droit à nous questionner sur les caractéristiques essentielles des outils d’évaluation permettant aux enseignantes et aux enseignants de porter un jugement objectif sur les savoir-être professionnels des stagiaires du programme collégial Techniques d’inhalothérapie. Suite à une recension d’écrits en lien avec les concepts des savoir-être professionnels, de l’évaluation et des outils d’évaluation, nous nous sommes fixé cinq objectifs spécifiques pour répondre à notre question générale de l’essai : 1) Établir une nomenclature des savoir-être professionnels pour le programme collégial Techniques d’inhalothérapie; 2) Décrire les savoir-être professionnels en manifestations observables; 3) Concevoir un outil d’autoévaluation en regard du développement des savoir-être professionnels pour les stagiaires du programme collégial Techniques d’inhalothérapie; 4) Concevoir une liste de vérification des comportements observables pour évaluer les savoir-être professionnels des stagiaires du programme collégial Techniques d’inhalothérapie; et 5) Concevoir une grille d’évaluation à échelle descriptive pour évaluer les savoir-être professionnels des stagiaires du programme collégial Techniques d’inhalothérapie. Avec une posture épistémologique interprétative et une approche qualitative, nous avons opté pour un essai de type recherche développement, selon Harvey et Loiselle (2009), visant la conception de trois outils d’évaluation des savoir-être professionnels, soit : a) un outil d’autoévaluation, b) une liste de vérification des comportements observables et c) une grille d’évaluation à échelle descriptive. Après avoir réalisé les deux premiers objectifs spécifiques de cet essai, nous avons sollicité les enseignantes et les enseignants des départements de Techniques d’inhalothérapie du Collège de Rosemont et du Collège de Valleyfield pour procéder à la validation des outils d’évaluation des savoir-être professionnels. Pour accompagner les cinq enseignantes et les trois enseignants dans leur démarche de validation, nous avons privilégié un questionnaire de validation, des entrevues semidirigées et un groupe de discussion pour recueillir les données qualitatives et quantitatives que nous avons traitées en deux temps.L’analyse et l’interprétation des résultats ont permis l’atteinte des objectifs spécifiques fixés. En plus d’établir la nomenclature des savoir-être professionnels, les données recueillies portent un regard critique sur la conception des outils d’évaluation des savoir-être professionnels destinés aux stagiaires du programme collégial Techniques d’inhalothérapie. Grâce aux commentaires et aux suggestions obtenus, nous peaufinerons nos outils pour les rendre plus efficaces après cet essai pour ensuite les remettre aux enseignantes et aux enseignants cliniques participants qui décideront avec leur département respectif s’ils désirent les utiliser. Cet essai identifie huit savoir-être professionnels que doivent démontrer les stagiaires du programme collégial Techniques d’inhalothérapie. Ces savoir-être professionnels se manifestent à partir de quarante-deux comportements observables. La conception de nos outils d’évaluation permet de porter un regard objectif sur le développement des savoir-être professionnels de nos stagiaires. Cet essai ne vise pas à généraliser ces résultats. Nous souhaitons plutôt la transférabilité des résultats à d’autres programmes afin d’accompagner d’autres enseignantes et enseignants qui éprouvent des difficultés lors de l’évaluation des savoir-être professionnels.

Conception, caractérisation et optimisation de SPAD en technologie Dalsa HV CMOS 0.8 μm pour intégration dans un 3D-SiPM

Résumé : Les photodiodes à avalanche monophotonique (SPAD) sont d'intérêts pour les applications requérant la détection de photons uniques avec une grande résolution temporelle, comme en physique des hautes énergies et en imagerie médicale. En fait, les matrices de SPAD, souvent appelés photomultiplicateurs sur silicium (SiPM), remplacent graduellement les tubes photomultiplicateurs (PMT) et les photodiodes à avalanche (APD). De plus, il y a une tendance à utiliser les matrices de SPAD en technologie CMOS afin d'obtenir des pixels intelligents optimisés pour la résolution temporelle. La fabrication de SPAD en technologie CMOS commerciale apporte plusieurs avantages par rapport aux procédés optoélectroniques comme le faible coût, la capacité de production, l'intégration d'électronique et la miniaturisation des systèmes. Cependant, le défaut principal du CMOS est le manque de flexibilité de conception au niveau de l'architecture du SPAD, causé par le caractère fixe et standardisé des étapes de fabrication en technologie CMOS. Un autre inconvénient des matrices de SPAD CMOS est la perte de surface photosensible amenée par la présence de circuits CMOS. Ce document présente la conception, la caractérisation et l'optimisation de SPAD fabriqués dans une technologie CMOS commerciale (Teledyne DALSA 0.8µm HV CMOS - TDSI CMOSP8G). Des modifications de procédé sur mesure ont été introduites en collaboration avec l'entreprise CMOS pour optimiser les SPAD tout en gardant la compatibilité CMOS. Les matrices de SPAD produites sont dédiées à être intégrées en 3D avec de l'électronique CMOS économique (TDSI) ou avec de l'électronique CMOS submicronique avancée, produisant ainsi un SiPM 3D numérique. Ce SiPM 3D innovateur vise à remplacer les PMT, les APD et les SiPM commerciaux dans les applications à haute résolution temporelle. L'objectif principal du groupe de recherche est de développer un SiPM 3D avec une résolution temporelle de 10 ps pour usage en physique des hautes énergies et en imagerie médicale. Ces applications demandent des procédés fiables avec une capacité de production certifiée, ce qui justifie la volonté de produire le SiPM 3D avec des technologies CMOS commerciales. Ce mémoire étudie la conception, la caractérisation et l'optimisation de SPAD fabriqués en technologie TDSI-CMOSP8G.

Algorithme de reconstruction itératif pour tomographie optique diffuse avec mesures dans le domaine temporel

L'imagerie par tomographie optique diffuse requiert de modéliser la propagation de la lumière dans un tissu biologique pour une configuration optique et géométrique donnée. On appelle cela le problème direct. Une nouvelle approche basée sur la méthode des différences finies pour modéliser numériquement via l'équation de la diffusion (ED) la propagation de la lumière dans le domaine temporel dans un milieu inhomogène 3D avec frontières irrégulières est développée pour le cas de l'imagerie intrinsèque, c'est-à-dire l'imagerie des paramètres optiques d'absorption et de diffusion d'un tissu. Les éléments finis, lourds en calculs, car utilisant des maillages non structurés, sont généralement préférés, car les différences finies ne permettent pas de prendre en compte simplement des frontières irrégulières. L'utilisation de la méthode de blocking-off ainsi que d'un filtre de Sobel en 3D peuvent en principe permettre de surmonter ces difficultés et d'obtenir des équations rapides à résoudre numériquement avec les différences finies. Un algorithme est développé dans le présent ouvrage pour implanter cette approche et l'appliquer dans divers cas puis de la valider en comparant les résultats obtenus à ceux de simulations Monte-Carlo qui servent de référence. L'objectif ultime du projet est de pouvoir imager en trois dimensions un petit animal, c'est pourquoi le modèle de propagation est au coeur de l'algorithme de reconstruction d'images. L'obtention d'images requière la résolution d'un problème inverse de grandes dimensions et l'algorithme est basé sur une fonction objective que l'on minimise de façon itérative à l'aide d'une méthode basée sur le gradient. La fonction objective mesure l'écart entre les mesures expérimentales faites sur le sujet et les prédictions de celles-ci obtenues du modèle de propagation. Une des difficultés dans ce type d'algorithme est l'obtention du gradient. Ceci est fait à l'aide de variables auxiliaire (ou adjointes). Le but est de développer et de combiner des méthodes qui permettent à l'algorithme de converger le plus rapidement possible pour obtenir les propriétés optiques les plus fidèles possible à la réalité capable d'exploiter la dépendance temporelle des mesures résolues en temps, qui fournissent plus d'informations tout autre type de mesure en TOD. Des résultats illustrant la reconstruction d'un milieu complexe comme une souris sont présentés pour démontrer le potentiel de notre approche.

Étude des relations entre les styles cognitifs et les productions d’artistes professionnels et d’étudiants universitaires en arts visuels

Les recherches démontrent que les arts plastiques à l’école apportent des bénéfices culturels et psychocognitifs majeurs aux enfants (National Endowment for the Arts, 2012; Hoffmann Davis, 2005, 2008; Karkou et Glasman, 2004; Sylwester, 1998; Goetz Zwirn et Graham, 2005; Greene, 1995). Mais en général, plus les garçons avancent en âge au primaire, plus ils éprouvent de difficultés et démontrent un intérêt moindre que celui des filles pour les arts plastiques à l’école. Au secondaire, l’écart ne fait que s’accentuer (Savoie, Grenon et St-Pierre, 2010, 2012; Octobre, 2004; Dumais, 2002; Blaikie, Schönau et Steers, 2003). Même s’ils ne peuvent garantir la réussite de leurs élèves, les enseignants ont une influence considérable sur des variables qui affectent les apprentissages telles que le choix de matériaux didactiques, des environnements éducationnels et la variable qui nous intéresse particulièrement : La prise en compte des comportements des élèves en lien avec leurs styles cognitifs. Pour mieux les aider, notre recherche veut saisir les liens potentiels qui pourraient exister entre les styles cognitifs des individus créateurs et leurs préférences sur le plan de l’expression graphique, plus spécifiquement au regard du langage plastique. En d’autres mots, nous souhaitons fournir des marqueurs utiles à la différenciation pédagogique adaptée aux styles cognitifs (Baron-Cohen, 2005) des filles et des garçons en classe d’art. Nous empruntons des concepts délimités et mesurables qui constituent notre cadre de référence et proviennent des domaines de la psychologie cognitive et de l’enseignement des arts visuels. Notre recherche se fait auprès d’artistes professionnels et d’étudiants adultes en arts visuels, tous genres confondus. Nous mesurons chez eux, dans un premier temps, leurs styles cognitifs à l’aide du test RMET de Baron-Cohen (Ibid.). En rapport avec ces styles, nous tentons ensuite de dégager des marqueurs dans la démarche et les productions artistiques des individus. En d’autres mots, notre étude vise essentiellement à procurer des indicateurs fiables, aux chercheurs et aux enseignants en arts, quant au lien potentiel entre les styles cognitifs et le langage plastique. Ces précieux indicateurs pourront ensuite leur servir, entre autres, à la construction de modèles pédagogiques, d’environnements éducationnels ou d’activités adaptées aux styles des élèves masculins comme féminins. Au plan méthodologique, notre recherche adopte une approche quantitative, pragmatique, quasi expérimentale et exploratoire (Lefrancois, 1997; Kothari, 2004; Grawitz, 1988; Larose, Bédard, Couturier, Grenon, Lavoie, Lebrun, Morin, Savard et Theis, 2011). Notre mode d’analyse se base sur la vérification de faits observables et sur une prise de décision scientifique se servant de techniques statistiques inférentielles (Saporta, 2011; Field, 2009). Notre approche s’appuie donc sur une variable dépendante liée au style cognitif des participants et sur une vingtaine de variables indépendantes liées au langage plastique. Nos résultats démontrent qu’au moins un indicateur de style cognitif ressort significativement dans le langage plastique, soit la variation chromatique. Suite à notre question : Dans les éléments de langage plastique des créateurs en arts visuels, peut-on observer des indicateurs de styles cognitifs? La réponse s’est avérée positive et fiable sur au moins une variable : la couleur. En effet, suite à nos analyses statistiques inférentielles, la variation chromatique est ressorti comme un indicateur très significatif de style cognitif et celui qui ressort le plus de nos résultats. Nous avons clairement mesuré que les individus qui décodent moins bien les émotions chez les autres démontrent une préférence pour des variations de couleurs plutôt monochromes, alors que les individus plutôt empathiques démontrent une préférence pour des univers surtout multichromes. Nous avons mesuré une forte habileté à reconnaitre et à discriminer les émotions, autant chez nos artistes professionnels que chez nos sujets étudiants universitaires. D’autres variables analysées, comme le genre, l’éducation ou l’âge ne se sont pas avérées des indicateurs fiables de styles cognitifs particuliers.

Modèles de Markov cachés à haute précision dynamique

La reconnaissance vocale est une technologie sujette à amélioration. Malgré 40 ans de travaux, de nombreuses applications restent néanmoins hors de portée en raison d'une trop faible efficacité. De façon à pallier à ce problème, l'auteur propose une amélioration au cadre conceptuel classique. Plus précisément, une nouvelle méthode d'entraînement des modèles markoviens cachés est exposée de manière à augmenter la précision dynamique des classificateurs. Le présent document décrit en détail le résultat de trois ans de recherche et les contributions scientifiques qui en sont le produit. L'aboutissement final de cet effort est la production d'un article de journal proposant une nouvelle tentative d'approche à la communauté scientifique internationale. Dans cet article, les auteurs proposent que des topologies finement adaptées de modèles markoviens cachés (HMMs) soient essentielles à une modélisation temporelle de haute précision. Un cadre conceptuel pour l'apprentissage efficace de topologies par élagage de modèles génériques complexes est donc soumis. Des modèles HMM à topologie gauche-à-droite sont d'abord entraînés de façon classique. Des modèles complexes à topologie générique sont ensuite obtenus par écrasement des modèles gauche-à-droite. Finalement, un enchaînement successif d'élagages et d'entraînements Baum-Welch est fait de manière à augmenter la précision temporelle des modèles.

Advisor-Québec : comparaison internationale des déterminants d'un budget marketing

Ce mémoire présente une comparaison internationale d'un modèle américain de calcul des dépenses marketing et publicitaire appelé: ADVISOR (ADVertising Industrial product: Study of Operating Relationship) (Lilien; 1973, 1976,1984). Cette étude compare les résultats d'un échantillon de 45 produits provenant de 33 entreprises industrielles à travers le Québec avec ceux de l'échantillon américaine et européen d'ADVISOR. L'objectif de cette étude est de fournir un support décisionnel aux gestionnaires. Les résultats de notre étude convergent avec celles réalisées aux États-Unis et en Europe. Les coefficients de régression ainsi que les prédictions budgétaires dans l'étude d'ADVISOR-QUEBEC sont de même ordre de grandeur que ceux d'ADVISOR-USA et d'ADVISOR-EUROPE. Ces résultats suggèrent ainsi une uniformité dans les pratiques de gestion des responsables marketing face à l'élaboration budgétaire. Par ailleurs, nos résultats indiquent que le modèle ADVISOR a une grande stabilité temporelle et structurelle.

Élaboration d'un protocole opérationnel d'entrevue visant à diagnostiquer les situations de non-insertion socioprofessionnelle.

La situation actuelle du marché du travail fait en sorte que de plus en plus de personnes nécessitent de l'aide pour leur insertion ou leur réinsertion socioprofessionnelle. Cette demande qui continue d'accroître exige beaucoup de la part des professionnelles ou professionnels engagés pour intervenir auprès de cette clientèle. Ces ressources souvent limitées en nombre et en temps, doivent être capable de faire une évaluation fiable et rapide afin de réaliser des interventions ajustées. Une équipe de recherche actuellement en cours, a conçu un outil permettant d'établir le diagnostic de l'état d'employabilité. Le défi de cette étude est de valider l'instrument à l'aide d'un autre test. Ceci nous mène au contexte du présent essai, qui sera décrit en première partie afin de situer le problème. En deuxième partie, nous présenterons l'ensemble des étapes qui a conduit à l'élaboration du protocole d'entrevue. La troisième partie sera consacrée à la vérification de la fiabilité de ce protocole. Enfin, quelques recommandations quant à son utilisation finaliseront le présent travail.

La pédagogie ouverte au primaire : adaptation d'un instrument d’évaluation

L'approche pédagogique, appelée aujourd'hui pédagogie ouverte, a vu le jour en Angleterre, puis s'est diffusée aux États-Unis et au Canada. Elle a cours au Québec depuis les années 1970 grâce à certaines publications et à des rencontres de perfectionnement. Bien qu'un assez large éventail d'enseignants y ait été mis en contact par des sessions, séminaires, conférences et publications, force nous est de reconnaître qu'à ce jour nous n'y avons trouvé aucune recherche empirique permettant d'évaluer en classe du primaire le degré d'implantation de cette approche pédagogique; or, il est important, dans un contexte d'innovation pédagogique, de pouvoir connaître ce degré d'implantation pour orienter le développement, assurer le perfectionnement personnel, porter un diagnostic, évaluer les effets et pour aider pédagogues et administrateurs à faire des choix pertinents, à rendre des décisions valables. Pour répondre à cette attente, notre propos sera donc d'élaborer et d'adapter un instrument d'observation convenant à ce contexte, permettant d'évaluer le degré d'implantation de la pédagogie ouverte dans des classes du primaire. Pour y parvenir, nous suivrons les étapes suivantes: consultation des recherches sur le sujet pour définir l'objet de la pédagogie ouverte et y étudier les instruments d'évaluation existants, adaptation de l'instrument éventuellement retenu, vérification auprès d'experts québécois en pédagogie ouverte, affinement par l'expérimentation dans des classes respectivement à pédagogie ouverte et encyclopédique et par l'étude comparée des résultats. Cette démarche permettra donc d'accéder à un instrument d'évaluation apte à mesurer le degré d'implantation de cette approche pédagogique dans des classes du primaire et à discriminer les classes à pédagogie ou verte de celles à pédagogie encyclopédique.

Entraînement aux habiletés sociales en présence de parents ou de pairs comme agents de changement auprès d'élèves mésadaptés au primaire

L'étude a pour objet la vérification du lien entre la participation d’un programme d'entraînement aux habiletés sociales en présence d'agents de changement et le répertoire d'habiletés sociales. Les hypothèses soutiennent que le répertoire augmentera suite à l'entraînement et que le groupe assisté des parents aura une augmentation significativement supérieure à celui assisté des pairs. Une étude quasi expérimentale impliquant huit sujets permet, au moyen d'une observation systématique avant et après l'entraînement, d'évaluer le répertoire d'habiletés sociales et de faire une comparaison entre les trois groupes. Parmi ceux-ci, l'un est accompagné des parents, l'un est accompagné des pairs et l'autre constitue le groupe contrôle, c'est-à-dire qu'il ne participe pas à l'intervention. Les résultats montrent que le lien entre la participation à un entraînement aux habiletés sociales et la modification du répertoire d'habiletés sociales n'est pas significatif. Ils montrent également qu'il n'est pas significatif entre le type d'agent de changement utilisé (parents ou pairs) et ce même répertoire. L'étude révèle l'importance de continuer à explorer le champ des habiletés sociales en réexaminant le type d'évaluation. En effet, les grilles d'observation devraient avoir un lien direct et indiscutable avec les programmes d'entraînement mis en application. De plus, un nombre supérieur de sujets permettrait une analyse statistique plus rigoureuse.

Guide pour l’évaluation des efforts investis dans les projets de services à domicile auprès des personnes âgées

En différents endroits de la Province on est en train d'élaborer des projets de service domicile pour des personnes âgées. Le but premier de notre travail est de fournir un modèle théorique d'évaluation pour des projets de ce genre. Il nous semble en même temps que le modèle pourrait rendre service dans la préparation d'un projet par l’énumération qu'il fait d'éléments qu'on trouve présents dans toute opération réussie. Cette évaluation est de type différentiel ; elle consiste en une analyse quantitative descriptive et critique des efforts déployés dans un projet de services domicile destinés favoriser la résidence "chez soi" des personnes âgées diminuant ou retardant du même coup le besoin d'hébergement en institution. L'instrument choisi est une grille que nous présentons au chapitre suivant. Elle fera appel à la technique de la vérification administrative (73, p. 70ssj) pour ce qui est de l'effort des intervenants (organisation, fonctionnement) celle de la comptabilité sociale pour l'efficacité des efforts (73, p. 65ss) et la comptabilité des coûts pour le rendement des efforts (73, p. 96 ss ). Les chiffres écrits de cette manière dans le texte renvoient à la fin de notre travail un numéro des "ouvrages consultés" et la page de l’ouvrage. Cette évaluation représente un tout organique on pourrait cependant se borner la vérification administrative qui constitue la première partie de la grille on pourrait aussi se contenter de l'étude de l'efficacité ou de l'étude du rendement deuxième et troisième parties de la grille selon le genre d'information désirée Il nous semble pourtant indiqué de ne pas dissocier les deux dernières parties parce que les renseignements de l'une devraient singulièrement éclairer l'autre. Retenons qu'il s'agit d'une analyse des efforts et non pas des résultats obtenus. Une analyse de résultats devrait normalement suivre celle que nous proposons ici. La grille s'applique d'emblée tout projet qui s'organise partir d'une participation du public par assemblée générale laquelle délègue ses pouvoirs des administrateurs. Pour des situations où ce schème ne s'applique pas exactement on effectuera les adaptations nécessaires. […]

Génération de squelettes des contrats de classes et des tests unitaires en Java

Le logiciel est devenu omniprésent dans nos vies de sorte qu'on le retrouve dans plusieurs domaines de la vie courante. Cependant cette omniprésence, n'est pas sans conséquences. Les bogues de logiciel peuvent causer de vrais désastres, économiques, écologiques voire sanitaires. Vu la forte omniprésente du logiciel dans nos vies, le fonctionnement de nos sociétés dépend fortement de sa qualité. La programmation par contrat a pour but de produire des logiciels fiables, c'est-à-dire corrects et robustes. En effet, ce paradigme de programmation vise à introduire des assertions qui sont des spécifications de services. Ces spécifications représentent une forme de contrat. Les contrats définissent les responsabilités entre le client et le fournisseur. Le respect des contrats permet de garantir que le logiciel ne fait ni plus ni moins que ce que l'on attend de lui qu'il fasse. Le test unitaire est un test qui permet de s'assurer du bon fonctionnement d'une partie précise d'un logiciel. C'est un test dont la vérification se fait en exécutant une petite unité de code. En somme, un test unitaire est un code qui exécute de manière indirecte le code d'une classe pour vérifier que le code fonctionne bien. L'outil Génération de Squelettes des Contrats de classes et des tests unitaires (GACTUS) permet la génération automatique de squelettes de contrats de classes et celles des classes des tests unitaires d'un projet Java. La génération automatique du code source permet d'obtenir un code uniforme. GACTUS est un plug-in pour l'environnement de développement Eclipse écrit en Java. L'objectif principal de GACTUS est de faciliter la réalisation de logiciel de qualité grâce à la génération automatique des squelettes de contrats de classe et celui des tests unitaires et aussi d'accroître la productivité des développeurs. Pour faciliter son utilisation, GACTUS dispose d'une interface graphique permettant de guider l'utilisateur.

L’effet de l’utilisation d’une pédagogie de l’accessibilité universelle sur l’enseignement en classe hétérogène en Soins infirmiers

Cette recherche, de type étude de cas, avait pour but d’examiner l’utilisation du modèle d’accessibilité universelle en pédagogie (AUP), à l’égard des besoins d’enseignantes et d’enseignants du programme collégial en Soins infirmiers qui enseignent à des groupes hétérogènes comprenant notamment des étudiantes et des étudiants en situation de handicap (ÉSH). Depuis quelques années déjà, les ÉSH sont de plus en plus nombreux à poursuivre des études de niveau supérieur. Plusieurs mesures d’appui à l’intention des ÉSH ont été mises sur pied. De fait, les accommodements qui leur sont offerts s’effectuent principalement par l’entremise de services spécialisés pour étudiantes et étudiants ayant des besoins spéciaux et force est de constater que ces mesures s’appliquent généralement à l’extérieur de la classe. De plus, en dépit de tous les efforts déployés par les enseignantes et par les enseignants pour soutenir la réussite des ÉSH, il s’avère qu’actuellement dans leur cheminement professionnel aucune formation spécifique aux besoins de cette clientèle ne leur est offerte. Ces constats guident la présente recherche qui s’articule principalement autour du fait que plusieurs enseignantes et enseignants du programme de Soins infirmiers du Collège de Bois-de-Boulogne verbalisent un besoin d’accroître leurs connaissances de pratiques pédagogiques favorables à la réussite des ÉSH. Cinq enseignantes ont participé à cette étude de cas de type qualitatif dont la question centrale est la suivante : Les stratégies d’enseignement planifiées selon les principes contenus dans le modèle de l’AUP permettraient-elles à des enseignantes et à des enseignants du programme de Soins infirmiers d’être outillés pour intervenir en classe auprès d’un groupe hétérogène comprenant des ÉSH? Dans un premier temps, à partir d’une entrevue semi-dirigée individuelle, les besoins des participantes et des participants à l’égard de cette clientèle étudiante ont été recueillis. Le cadre de référence de cet essai explique les concepts portant sur la notion de handicap, les stratégies pédagogiques et d’enseignement ainsi que les principes directeurs du modèle de l’AUP. Dans un second temps, des enseignantes ont reçu une formation portant sur les principes contenus dans le modèle de l’AUP. Elles ont ensuite procédé à l’expérimentation du modèle avec leurs étudiantes et leurs étudiants au cours de la session. Enfin, à l’aide d’une seconde entrevue semi-dirigée et d’un questionnaire, la chercheuse a de nouveau recueilli leurs propos pour vérifier l’effet de l’application de ce modèle sur leurs besoins exprimés précédemment. Les résultats obtenus ont démontré que ce modèle constitue une avenue intéressante et utile pour les enseignantes et les enseignants et ce, pour plusieurs raisons. Les résultats démontrent la pertinence de l’utilisation du modèle de l’AUP à l’égard du sentiment de compétence des enseignantes et des enseignants dans l’accompagnement des ÉSH et des groupes hétérogènes qui composent les classes. Ce modèle ne requiert aucune surcharge de travail pour les enseignantes et les enseignants et la planification des cours suggérée par ce modèle facilite leur travail. La planification comprend : l’analyse de la situation actuelle, la précision du profil et la diversité de la classe, la vérification des connaissances antérieures. Il s’agit ensuite de définir les stratégies pédagogiques, les outils ainsi que les modes d’évaluation utilisées. De plus, ce modèle favorise le socioconstructivisme et encourage l’inclusion de toutes les étudiantes et de tous les étudiants, sans devoir mettre en place des accommodements spécifiques à des besoins personnels. Ainsi, l’AUP serait profitable pour l’ensemble des étudiantes et des étudiants et non uniquement pour les ÉSH. Finalement, considérant que ce modèle ne fait aucune distinction à l’égard des besoins particuliers d’étudiantes et d’étudiants, il évite la stigmatisation des ÉSH.

Interventions pédagogiques pour diminuer le niveau d’appréhension en entrevues enformation technique au Cégep

Abstract: Career programs in the Cegep system base their training on various learning activities, which are followed by a practicum. The objective is to achieve a certain number of competencies, deemed necessary by the Ministry of Education, for entry-level occupations in to the workforce. The Graphic Communications program offered at Champlain College Saint-Lambert is a three-year career program that leads to employment in the field of graphics. Many students have part-time jobs during their schooling period but most of those jobs do not relate to their field of study. Several graduates stated they were unable to persuade employers to hire them for an externship or stage at the end of their program. While jobs are important for their general skills, since they are not directly related to the field, these jobs may not have given the students a suitable model for the conduct of an employment interview. Practice interviews may be one of many successful training methods to lower communication apprehension (CA) levels. CA is defined as "an individual's level of fear or anxiety associated with either real or anticipated communication with another person or persons." This paper examines the literature on CA and employment interviews and evaluates whether pedagogical interventions, including monitored phone calls to employers and practice-videotaped interviews, allow students to feel more confident about interviewing for a future job. A qualitative tool was used to gather scientific measurements of the participants' levels of CA both at the beginning and at the end of the Career Planning course. Open-ended reflective journals gathered quantitative data on the impact specific instructional strategies had on the participants. The pedagogical interventions that were examined and tested were as follows: preparation of scripts, monitored phone calls, videotaped practice interviews, and in-class access to professional assistance. Results indicate that all interventions had a positive impact on lowering levels of CA. It is clear that positive conclusions were drawn by the students as to the usefulness of these activities. Overall, participants who responded to the reflective journal questions felt positive about the contribution of this preparatory career course to their CA levels. The results of the quantitative tool were consistent with previous research and the analysis of the reflective journals gave additional support to the usefulness of the interventions on students' confidence levels. Recommendations for improvements to the curriculum include the need for students to be taught formally about metacognition and how to monitor it. Students need to be exposed to videotaped interviews more often. They should be better prepared for unexpected interview questions, and they should experience formal rehearsals with one of their instructors before the actual practice interview. Some of these recommendations have already been successfully implemented in the program's curriculum.||Résumé: Le but de ce travail était de vérifier si certaines activités pédagogiques sont efficaces pour faire baisser le niveau d'anxiété lié à la communication orale lors de leurs entrevues d'embauche. L'objectif des programmes techniques au Québec est de fournir aux étudiants un certain nombre de compétences définies par le ministère de l'Éducation, des Loisirs et du Sport afin que ces derniers puissent fournir des services de techniciens spécialisés aux entreprises. Le programme nommé Office Systems Technology (412) du collège Champlain de Saint-Lambert, a choisi la voie de la spécialisation en microédition et hypermédia en 1999 et a changé son nom pour Graphic Communications en 2005. Les programmes techniques au Cégep incluent un stage en milieu de travail à la fin d'un programme de trois ans et par le fait même, une entrevue pour obtenir un stage en entreprise. La compétence visée par cette étude est l'intégration au marché du travail et le cheminement professionnel des étudiants. Lors d'enquêtes informelles, plusieurs étudiants du programme ont fait part de leurs difficultés à trouver un stage en fin d'études. Certains auteurs suggèrent que ces étudiants n'ont pas de modèles appropriés lors de la tenue d'une entrevue d'emploi. Ils proposent de diminuer le niveau d'anxiété lié à la communication orale lors d'entrevues d'embauche en offrant des pratiques d'entrevue aux étudiants. Cette recherche a examiné la littérature au sujet de l'anxiété de communication, plus précisément lors d'entrevues. Elle avait pour mandat d'évaluer si les activités pédagogiques d'un cours de préparation à la carrière ont été efficaces pour faire baisser les taux d'anxiété en communication orale lors d'entrevues. En plus, une conseillère à l'emploi fut invitée à plusieurs reprises afin de fournir un support professionnel en classe, étant donné que les étudiants ne prennent pas nécessairement le temps de consulter des professionnels en raison de leurs activités personnelles trop nombreuses. Le type d'enseignement évalué est considéré comme stratégique, étant donné qu'il agit au niveau cognitif et métacognitif de l'étudiant. Le cours de préparation à l'emploi débute par la vérification des acquis antérieurs des étudiants et il tient compte de leur motivation scolaire et professionnelle. De plus, il est axé sur la construction du savoir en proposant des activités de plus en plus complexes, débutant par la rédaction de textes à utiliser lors d'appels aux employeurs, en passant par la préparation et la pratique d'appels et se terminant par des entrevues d'emploi qui serviront de modèle à perfectionner par chaque étudiant. Ces entrevues se font avec des employeurs qui ont déjà embauché des étudiants du programme de Graphic Communications au collège Champlain de Saint-Lambert et sont enregistrées sur bande vidéo afin de permettre une visualisation ultérieure et cohérente avec les objectifs visés. La méthodologie de cette recherche inclut deux outils, un quantitatif et un qualitatif. L'outil quantitatif permet de mesurer scientifiquement les taux d'appréhension en communication des étudiants au début et à la fin du cours de préparation à l'emploi. Cet outil est la fusion de deux outils, le Personal Report of Communication Apprehension ou PRCA-24, qui fut développé par McCroskey (1984), en tandem avec celui de Wongprasert & Ayres (2000), qui lui met l'accent sur les entrevues d'emploi. Les réponses à cet outil combiné sont évaluées sur une échelle Likert de cinq points. L'outil qualitatif est une série de questions auxquelles les étudiants ont répondu quatre fois lors de la session. Les réponses à ces questions ont été analysées et les commentaires des étudiants évalués. Il découle de cette analyse que les niveaux d'anxiété des étudiants qui ont participé (14) étaient définitivement à la baisse en fin de cours. La pratique téléphonique structurée, dans un laboratoire avec les téléphones, a été très révélatrice pour les étudiants. Ils ont appris comment utiliser un script comme piste de départ pour un appel et qu'il était possible de contourner certains obstacles de façon professionnelle. Ensuite, lors d'une visite d'une compagnie de graphisme, ils ont pu observer divers modèles d'emploi. Ils ont eu la possibilité de poser des questions sur le fonctionnement et les besoins de l'entreprise. Ceci facilita la rédaction de leur curriculum vitae en leur permettant de mieux décrire leurs acquis en fonction d'emplois recherchés. Par la suite, ils se sont préparés pour une pratique d'entrevue, filmée. Les interviewers avaient déjà travaillé avec le collège et avaient déjà embauché certains étudiants de ce programme, donc ils connaissaient leur potentiel. Une liste de questions possibles fut suggérée mais il n'en restait pas moins que les interviewers pouvaient les modifier, ceci étant représentatif du marché de l'emploi. Même si le collège fournit un enseignement en anglais, un des intervieweurs donna ses entrevues en français. Trois étudiants se sont portés volontaires, mais deux ont constaté qu'ils auraient dû pratiquer leur script en français avant l'entrevue pour mieux diminuer leur niveau d'anxiété. Finalement, les étudiants durent visionner leur segment d'entrevue : ceci leur a permis de voir si leur attitude non-verbale concordait avec ce qu'ils ressentaient en entrevue et d'emmener les correctifs appropriés. Les taux d'anxiété furent vérifiés une deuxième fois en fin de session et les résultats ont démontré une baisse des taux d'appréhension. Les résultats de cette étude concordent donc avec ceux trouvés dans la littérature et donnent de bonnes pistes pour l'amélioration de ce cours de préparation à la carrière. L'auteur recommande d'enseigner la métacognition de façon formelle et ainsi de faciliter la prise de conscience des apprentissages que les étudiants effectuent. De plus, les étudiants devraient être filmés en studio au moins une fois par année pour diminuer le facteur de stress causé par les caméras et finalement ils pourraient certainement bénéficier de pratiques formelles d'entrevue avec un instructeur avant l'entrevue filmée. L'augmentation des pratiques a déjà été mise en oeuvre dans le programme et des résultats positifs se sont ensuivis.

Détermination des niches écologiques du phytoplancton à partir de données in situ du lac Montjoie

Le rôle central du phytoplancton à la base de la chaîne trophique aquatique motive une compréhension étayée des facteurs pouvant faire varier les populations et la composition des populations de phytoplancton. Cette compréhension est d'autant plus importante dans le contexte actuel, puisque nous savons que l'humain influence le climat et les milieux aquatiques par sa présence et ses activités. Nous tentons donc, dans notre étude, de déterminer les variables environnementales importantes qui dictent les changements de taille et de composition de la communauté de phytoplancton à l'échelle d'un lac et d'en déduire les niches réalisées des différentes espèces du lac. L'utilisation d'une station mobile de manière verticale dans le lac Montjoie (Saint-Denis-de-Brompton) a permis de collecter des données in situ à haute fréquence et résolution temporelle caractérisant la colonne d'eau. Combinée à ces mesures, une banque de données sur l'abondance de différentes catégories de phytoplancton a été créée à l'aide d'un cytomètre en flux imageur (IFCB) et d'un programme de reconnaissance d'images qui lui est associé. En combinant ces données nous avons déterminé que la température moyenne au-dessus de la thermocline et que la profondeur limite de chlorophylle (2 écarts-types sous le maximum de chlorophylle) étaient les 2 variables (parmi les variables mesurées) les plus appropriées pour déterminer les niches réalisées de nos catégories de phytoplancton. À l'aide de ces 2 variables, nous avons pu déterminer les niches réalisées d'une trentaine de catégories présentes dans notre lac. Les niches ont été déterminées à la fois sur les données d'abondance et sur les données de taux de croissance nette à l'aide de deux méthodes différentes, soit l'analyse canonique des correspondances (CCA) et la maximisation de l'entropie d'information (MaxEnt). Ce sont finalement les niches déterminées avec les taux de croissance nette qui sont les plus pertinentes. Les deux méthodes ont donné des résultats semblables, mais c'est MaxEnt qui est la plus versatile pour l'ajout de nouvelles variables explicatives et c'est donc celle-ci que nous privilégierons dans le futur.