Intégration de la visualisation à multiples vues pour le développement du logiciel

Le développement du logiciel actuel doit faire face de plus en plus à la complexité de programmes gigantesques, élaborés et maintenus par de grandes équipes réparties dans divers lieux. Dans ses tâches régulières, chaque intervenant peut avoir à répondre à des questions variées en tirant des informations de sources diverses. Pour améliorer le rendement global du développement, nous proposons d'intégrer dans un IDE populaire (Eclipse) notre nouvel outil de visualisation (VERSO) qui calcule, organise, affiche et permet de naviguer dans les informations de façon cohérente, efficace et intuitive, afin de bénéficier du système visuel humain dans l'exploration de données variées. Nous proposons une structuration des informations selon trois axes : (1) le contexte (qualité, contrôle de version, bogues, etc.) détermine le type des informations ; (2) le niveau de granularité (ligne de code, méthode, classe, paquetage) dérive les informations au niveau de détails adéquat ; et (3) l'évolution extrait les informations de la version du logiciel désirée. Chaque vue du logiciel correspond à une coordonnée discrète selon ces trois axes, et nous portons une attention toute particulière à la cohérence en naviguant entre des vues adjacentes seulement, et ce, afin de diminuer la charge cognitive de recherches pour répondre aux questions des utilisateurs. Deux expériences valident l'intérêt de notre approche intégrée dans des tâches représentatives. Elles permettent de croire qu'un accès à diverses informations présentées de façon graphique et cohérente devrait grandement aider le développement du logiciel contemporain.

Intégration d'un système d'exploitation dans le flot de développement logiciel/matériel

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Dimension métrique des graphes

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Le visiteur visité: quand les éditeurs de logiciel Internet passent subrepticement à travers les mailles du filet juridique

Cet article est un plaidoyer pour l’intégration de mesures protectrices de la vie privée au cœur même de la technologie. Cette adaptation est un pré-requis indispensable à la confiance du consommateur dans le réseau des réseaux. Sans véhicule Internet fiable et libéré de ses vices cachés, il demeure illusoire d’espérer, à moyen terme, attirer et conserver des clients électroniques.

Logiciel de génération de nombres aléatoires dans OpenCL

clRNG et clProbdist sont deux interfaces de programmation (APIs) que nous avons développées pour la génération de nombres aléatoires uniformes et non uniformes sur des dispositifs de calculs parallèles en utilisant l’environnement OpenCL. La première interface permet de créer au niveau d’un ordinateur central (hôte) des objets de type stream considérés comme des générateurs virtuels parallèles qui peuvent être utilisés aussi bien sur l’hôte que sur les dispositifs parallèles (unités de traitement graphique, CPU multinoyaux, etc.) pour la génération de séquences de nombres aléatoires. La seconde interface permet aussi de générer au niveau de ces unités des variables aléatoires selon différentes lois de probabilité continues et discrètes. Dans ce mémoire, nous allons rappeler des notions de base sur les générateurs de nombres aléatoires, décrire les systèmes hétérogènes ainsi que les techniques de génération parallèle de nombres aléatoires. Nous présenterons aussi les différents modèles composant l’architecture de l’environnement OpenCL et détaillerons les structures des APIs développées. Nous distinguons pour clRNG les fonctions qui permettent la création des streams, les fonctions qui génèrent les variables aléatoires uniformes ainsi que celles qui manipulent les états des streams. clProbDist contient les fonctions de génération de variables aléatoires non uniformes selon la technique d’inversion ainsi que les fonctions qui permettent de retourner différentes statistiques des lois de distribution implémentées. Nous évaluerons ces interfaces de programmation avec deux simulations qui implémentent un exemple simplifié d’un modèle d’inventaire et un exemple d’une option financière. Enfin, nous fournirons les résultats d’expérimentation sur les performances des générateurs implémentés.

Nouveau traité d'arithmétique décimale : contenant toutes les opérations ordinaires du calcul, les fractions, l'extraction de racines, le système métrique ... /

Mathieu Bransiet, en religion Frère Philippe.

P. Virgili Maronis opera. Nouv. éd., publiée avec une notice sur la vie de Virgile, des remarques sur la prosodie, la métrique, et la langue, des arguments et des notes en français, des tables pour les noms propres historiques et géographiques, les principales variantes, les passages de poètes grecs et latins imités par Virgile, et une carte des contrées dans lesquelles se passe l'action de lÉnéide,

Mode of access: Internet.

Tarifs, d'après le systeme métrique, pour cuber les bois carrés et ronds.

Mode of access: Internet.

De la fusion du génie logiciel et d'une bibliothèque à source ouverte pour la modélisation/simulation de processus matériel et logiciel

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

De la fusion du génie logiciel et d'une bibliothèque à source ouverte pour la modélisation/simulation de processus matériel et logiciel

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Orientation de l’effort des tests unitaires dans les systèmes orientés objet : une approche basée sur les métriques logicielles

Les logiciels actuels sont de grandes tailles, complexes et critiques. Le besoin de qualité exige beaucoup de tests, ce qui consomme de grandes quantités de ressources durant le développement et la maintenance de ces systèmes. Différentes techniques permettent de réduire les coûts liés aux activités de test. Notre travail s’inscrit dans ce cadre, est a pour objectif d’orienter l’effort de test vers les composants logiciels les plus à risque à l’aide de certains attributs du code source. À travers plusieurs démarches empiriques menées sur de grands logiciels open source, développés avec la technologie orientée objet, nous avons identifié et étudié les métriques qui caractérisent l’effort de test unitaire sous certains angles. Nous avons aussi étudié les liens entre cet effort de test et les métriques des classes logicielles en incluant les indicateurs de qualité. Les indicateurs de qualité sont une métrique synthétique, que nous avons introduite dans nos travaux antérieurs, qui capture le flux de contrôle ainsi que différentes caractéristiques du logiciel. Nous avons exploré plusieurs techniques permettant d’orienter l’effort de test vers des composants à risque à partir de ces attributs de code source, en utilisant des algorithmes d’apprentissage automatique. En regroupant les métriques logicielles en familles, nous avons proposé une approche basée sur l’analyse du risque des classes logicielles. Les résultats que nous avons obtenus montrent les liens entre l’effort de test unitaire et les attributs de code source incluant les indicateurs de qualité, et suggèrent la possibilité d’orienter l’effort de test à l’aide des métriques.

Élaboration des énoncés visant à intégrer optimalement le modèle Trèfle chanceux au logiciel Copilote insertion.

On parle de plus en plus d'insertion professionnelle difficile. Les taux de chômage augmentent et cela implique une grande demande d'aide de la part des chercheurs d'emploi. Les ressources humaines pour répondre à leurs besoins sont débordées et doivent donner des services efficaces dans un court laps de temps. Le problème qui se pose alors, c'est de savoir comment faire une évaluation, un diagnostic ajusté de la situation du chercheur d'emploi, qui répond à la fois à ses besoins et à ses difficultés d'insertion, qui respecte son environnement, ses choix et qui s'adapte au contexte de notre société? Ce qui nous préoccupe donc ici, c'est de savoir comment mesurer l'employabilité d'un individu. Dans le premier chapitre nous définirons ce qu'est l'employabilité. Et nous ferons le point sur les réalités du marché du travail. Nous ferons aussi une analyse de certains instruments de mesure d'employabilité déjà existants et nous présenterons un modèle théorique d'intervention en employabilité nouveau et à jour pouvant répondre au besoin d'un instrument de mesure, le Trèfle chanceux de Limoges. Dans le deuxième chapitre, nous verrons l'instrument de mesure de l'employabilité que nous jugeons le plus avancé; "Copilote insertion" de Clavier. Dans un souci de répondre au besoin de posséder un instrument de mesure d'employabilité, nous allons utiliser Copilote insertion afin de vérifier la taxonomie du Trèfle chanceux. Dans le troisième chapitre, nous vous proposons un jeu bâti sur le modèle du Trèfle Chanceux; L'emploi à la Carte, que nous comparerons, par la suite, à Copilote insertion pour en faire ressortir les différences et similarités. C'est dans le quatrième et dernier chapitre que vous pourrez retrouver des recommandations afin d'amorcer la construction d'un instrument intégrant Copilote insertion et le Trèfle chanceux, tout en respectant les priorités des deux auteurs.

Utilisation du logiciel Copilote Insertion pour l'évaluation des gains en employabilité de sujets ayant participé à un Service d'Intégration Socioprofessionnelle.

La situation du marché de l'emploi a subi ces dernières années, des changements de structure en profondeur. Le résultat est qu'au Québec, le taux réel d'inactivité révèle que près d'un adulte sur quatre est sans emploi. Parmi les personnes les plus touchées par ces changements on retrouve celles qui sont sans formation spécifique, sans diplôme ou bien sans expérience de travail. Pour rendre apte au travail cette mam d'oeuvre inactive, le Ministère de l'éducation a mis sur pied au milieu des années 90, une mesure d'aide à l'insertion appelée Services d'Intégration Socioprofessionnelle ou S.I.S. Dans le présent essai, nous avons cherché à évaluer le développement de l'employabilité de participants aux S.I.S. Selon les objectifs visés par le Service, on suppose que chaque personne aura acquis certaines attitudes et aptitudes au travail, susceptible de l'aider à retrouver du travail et de le conserver. Nous avons utilisé la structure de recherche test-retest sur le même échantillon. En effet, chaque participant s'est vu administrer le même questionnaire, au début et à la fin des S.I.S. Nous avons ainsi pu suivre l'évolution des facteurs en causes dans une insertion professionnelle. À cela s'ajoutent des données recueillies dans un journal de bord par l'évaluateur/animateur. Celles-ci sont reprises pour donner un sens dans l'analyse des résultats. La mesure utilisée est le questionnaire informatisé Copilote Insertion version 2.20. Celui-ci fut administré une première fois, à seize personnes présentes en amorce des S.LS. Pour la mesure post, nous avions plus que 8 personnes toujours disponibles et respectant le devis de recherche. Pour ces sujets, nous avons comparé chacun des vingt facteurs de Copilote, ainsi que l'évolution des stratégies d'insertion. Pour chacun d'eux, nous avons pu déterminer lesquels des facteurs d'employabilité évalué par le logiciel, démontraient une progression. Il a été démontré que l'ensemble des participants s'accordait beaucoup de difficulté à surmonter l'image de dépendance et d'incapacité, intériorisé avec l'expérience du chômage. Comme quoi, cette clientèle a à faire face à un certain nombre de deuil non résolu. À ce niveau, la structure des S.I.S semble permettre ce nécessaire recadrage de l'expérience chômage. Nous avons aussi observé que la composition du groupe n'a pas été réalisée en respectant le développement de l'employabilité de chacun des participants. Par conséquent, les plus enthousiasmes ont eu à subir l'inconfort de devoir faire face aux discours démotivant des personnes non-prêtes à s'insérer en emploi. La difficulté de sélectionner des personnes dont les besoins en matière de développement de l'employabilité ne seraient pas homogènes pourrait être surmontée si des activités individuelles personnalisées, sont présentées en alternance avec le travail de groupe. Autre constat réalisé est que malgré le temps passé à l'intérieur des SIS, des participants s'accordent plus de difficultés à la fin qu'au début, pour des facteurs d'employabilités. C'est le cas des facteurs du thème Communication de Copilote. La difficulté de mettre en branle une campagne visant la mise en marché de son potentiel de travail, cela vient confirmer que le participant, bien qu'il ait réalisé un bout du trajet le séparant du monde du travail, qu'il n'est pas parvenu à destination.

Métrique sur le fibré unitaire tangent au plan hyperbolique

RÉSUMÉ: Toute variété différentiable $M$ admet une métrique dite métrique riemannienne.\\ En définissant $\mathbb{H}=\lbrace z\in\mathbb{C}: Im(z)>0\rbrace$, on peut munir de $\mathbb{H}$ d'une métrique riemannienne $ds^{2}=\frac{dzd\bar{z}}{(Im(z))^{2}}=\frac{dx^{2}+dy^{2}}{y^{2}}$.\\ Muni de cette métrique, $\mathbb{H}$ est une variété riemannienne à la quelle on associe le fibré tangent, $T\mathbb{H}$ ainsi que le fibré unitaire tangent, $T^{1}\mathbb{H}$. Les éléments de $T^{1}\mathbb{H}$ peuvent être exprimés, de façon bijective, en termes des éléments du groupe PSL(2,$\mathbb{R}$) dont l'action sur $T^{1}\mathbb{H}$ est transitive et libre.\\ La métrique définie sur $M$ (en particulier sur $M=\mathbb{H}$) permet de définir sur $TM$ (en particulier sur $T^{1}\mathbb{H}$) une métrique connue sous le nom de métrique de Sasaki.