Rapport de recherche bibliographique DESS : Réseaux d'information et document électronique : Villeurbanne, ENSSIB : 2002.

Rapport de stage DESS : Ingénierie documentaire : Ecole nationale supérieure es sciences de l'information et des bibliothèques, Université Claude Bernard Lyon 1 : 2001.

Notre recherche de mémoire s'inscrit dans la programmation scientifique du Centre d'analyse et de traitement informatique du français québécois. Plus précisément, elle s'insère dans le prolongement de la recherche qui s'y poursuit depuis quelques années sur le traitement des nomenclatures botanique et zoologique dans les dictionnaires usuels du français. Nous avons voulu ouvrir la perspective en amorçant l'étude de la pratique lexicographique canadienne-anglaise qui, tout comme la lexicographie québécoise, doit s'adapter à un public dont l'expérience et le point de vue sont nord- américains. L'objectif principal de ce mémoire consiste à mettre en lumière les solutions que les lexicographes canadiens-anglais ont adoptées pour prendre en compte la perspective canadienne dans le traitement des noms d'oiseaux aquatiques de l'avifaune canadienne. Pour ce faire, nous avons sélectionné trois dictionnaires généraux usuels de l'anglais canadien ( Gage Canadian Dictionary (2000), Canadian Oxford Dictionary (2004) et ITP Nelson Canadian Dictionary of the English Language (1997)) dont nous comparons les pratiques quant à la composition de la nomenclature, le recours au balisage taxinomique et la mise en perspective des emplois génériques et spécifiques apparentés. Tenant compte de chacun de ces aspects lexicographiques, nous cherchons à établir dans quelle mesure les lexicographes canadiens-anglais prennent en compte les contextes référentiel et linguistique canadiens. Dans un premier temps, nous passons en revue toutes les dénominations (génériques ou spécifiques) d'oiseaux aquatiques recensées par les trois dictionnaires comparés pour voir si elles couvrent bien les besoins de dénominations du public visé à l'endroit des principales espèces de l'avifaune canadienne. Nous portons une attention particulière aux dénominations de forme complexe mentionnées, qu'elles soient ou non présentées en entrée distincte. Dans un deuxième temps, nous abordons la question du balisage taxinomique des définitions et comparons la façon dont chacun des dictionnaires exploite ce balisage pour clarifier la valeur référentielle des mots traités. Dans un troisième temps, nous nous intéressons à la mise en perspective des emplois génériques et spécifiques, et plus concrètement, à l'ensemble des éléments de la métalangue permettant de clarifier le degré d'extension décrit. L'étude que nous présentons démontre que les dénominations (génériques et spécifiques) répertoriées dans les trois dictionnaires comparés reflètent clairement la perspective canadienne, tant référentielle que linguistique. Le recours à des amorces définitoires distinctives (a ou any of ) et le balisage taxinomique sont deux moyens exploités de façon assez systématique par les lexicographes canadiens-anglais pour clarifier de façon satisfaisante le degré d'extension des dénominations répertoriées

Mémoire d'étude diplôme de conservateur des bibliothèques : Bibliothéconomie : Villeurbanne, ENSSIB : 2004.

Rapport de recherche bibliographique (DESS Ingénierie documentaire) : Ecole nationale supérieure des sciences de l'information et des bibliothèques, Université Claude Bernard Lyon 1 : Villeurbanne (France) : 2001. / Notes bibliogr.

Les politiques permettent de définir les règles de la sécurité et de la gestion des différents composants du système. Cela implique l'emploi d'un langage pour exprimer les règles d'affaires et les règles non fonctionnelles, et de donner aux utilisateurs la possibilité de tester et de corriger les politiques. Plusieurs langages tels que XACML, Rei ou PONDER, sont utilisés pour exprimer les politiques par rapport aux objectifs du système d'information. Ces langages peuvent définir plusieurs règles et politiques, mais la plupart de ces langages ne donnent pas de mécanisme pour tester et vérifier la présence des conflits et de l'incohérence entre les politiques du système. Ce mémoire vise la vérification des politiques de contrôle d'accès. Notre approche consiste à traduire les politiques XACML sous forme d'un ensemble de machines abstraites de la méthode B. Nous exprimons aussi les propriétés à vérifier par des formules logiques. L'approche offre aux utilisateurs des moyens pour vérifier les politiques afin de s'assurer que les règles expriment bien les objectifs régissant le comportement et les interactions des systèmes gérés. Dans la première phase, les composantes des politiques XACML ont été exprimées avec des expressions formelles basées sur la logique du premier ordre. Par la suite, les outils développés pour la méthode B, comme le langage Event-B sous la plate forme Rodin, ont été utilisés pour vérifier les règles des politiques par rapport à un ensemble de propriétés que nous avons définies. Notre approche est plus flexible et permet aux utilisateurs de tester et de vérifier les règles avant l'implémentation de ces politiques. Une telle vérification est fondée sur les preuves avec logique du premier ordre, où des propriétés importantes de la politique peuvent être énoncées et prouvées. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Politique, XACML, Méthode formelle, Event-B, Vérification.

Depuis quelques années, la recherche sur la normalisation des ensembles de données terminologiques a été une des plus grandes préoccupations d'un groupe de travail du World Wide Web Consortium. Ce travail de recherche a permis de développer un nouveau standard SKOS qui a été ensuite émis en 2009 en tant que recommandation du W3C. Le travail de recherche que nous entreprenons dans ce mémoire concerne ce standard. Notre étude consiste à réaliser à partir de cette recommandation un modèle conceptuel fiable et cohérent reprenant les principaux éléments de SKOS et de son extension. Elle consiste aussi à prototyper un outil reposant sur ce modèle qui permettrait de gérer, de manipuler et de partager des ensembles de données terminologiques basés sur SKOS. Pour ce faire, une méthodologie de recherche bien précise a été adoptée et diverses recherches concernant le standard SKOS et le type d'ensemble de données terminologiques ont été réalisées. A partir de ces recherches, nous avons proposé un modèle conceptuel de SKOS et nous avons conçu et prototypé l'outil le supportant, qui a été par la suite testé à travers des cas d'utilisation réels. Ces tests ont permis d'évaluer l'outil et de démontrer sa capacité à manipuler des données normalisées en SKOS en toute simplicité. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Gestion de connaissances, SKOS, RDF, gestion des KOS, ensembles de données terminologiques basés sur SKOS, exportation SKOS, glossaires, thésaurus.

Thèse doctorat : Informatique : Villeurbanne, INSA : 2002. / Titre provenant de l'écran-titre. Bibliogr. p. 118-125.

Thèse doctorat : Informatique : Villeurbanne, INSA : 2005. / Titre provenant de l'écran-titre. Bibliogr. p. 179-193.

Rapport de stage Diplôme d'études supérieures spécialisées : Ingénierie documentaire : Villeurbanne, ENSSIB : 2003. Rapport de stage Diplôme d'études supérieures spécialisées : Ingénierie documentaire : Lyon 1 : 2003.