Dans cette thèse, j'étudie la manière dont les ressources lexicales basées sur l'organisation de la connaissance lexicale dans des classes qui partagent des propriétés communes (syntactiques, sémantiques, etc.) permettent le traitement automatique de la langue naturelle et en particulier la reconnaissance symbolique d'implications textuelles. Tout d'abord, je présente une approche robuste et à large couverture sur la reconnaissance de paraphrases verbales lexico-structurelle basée sur la classification de verbes anglais par Levin (1993). Puis, je montre qu'en étendant le cadre proposé par Levin pour traiter les modèles d'inférence généraux, on obtient une classification d'adjectifs anglais qui, comparée à des approches antérieures, propose une caractérisation sémantique à grain plus fin de leurs propriétés déductives. De plus, je développe un cadre sémantique compositionnel pour assigner à des adjectifs une représentation sémantique sur la base d'une approche ontologiquement variée (Hobbs, 1985) et qui permet ainsi l'inférence de premier ordre pour tous les types d'adjectifs, y compris les adjectifs extensionnels. Enfin, je présente un corpus de test pour l'inférence basée sur les adjectifs que j'ai développée comme ressource pour l'évaluation de systèmes de traitement automatique de l'inférence de la langue naturelle. / In this thesis, I investigate how lexical resources based on the organisation of lexical knowledge in classes which share common (syntactic, semantic, etc. features support natural language processing and in particular symbolic recognition of textual entailment. First, I present a robust and wide coverage approach to lexico-structural verb paraphrase recognition based on Levin's (1993) classification of English verbs. Then, I show that by extending Levin's framework to general inference patterns, a classification of English adjectives can be obtained that compared with previous approaches, provides a more fine grained semantic characterisation of their inferential properties. Further, I develop a compositional semantic framework to assign a semantic representation to adjectives based on an ontologically promiscuous approach (Hobbs, 1985) and thereby supporting first order inference for all types of adjectives including extensional ones. Finally, I present a test suite for adjectival inference I developed as a resource for the evaluation of computational systems handling natural language inference.

Le débogage tient une place grandissante dans le cycle de développement d'un logiciel. Les recherches dans ce domaine tentent de créer des outils permettant un accès plus rapide aux fautes, quel que soit le langage de programmation utilisé. Étant donné l'indépendance du code Java vis-à-vis de la plateforme sur laquelle il est exécuté, la machine virtuelle Java doit fournir un ensemble de mécanismes permettant aux outils de débogage d'accéder aux informations relatives à l'exécution de l'application déboguée. Bien que la grande majorité des machines virtuelles commerciales soient dotées de mécanismes de support au débogage, aucune libre, en revanche, n'offrait une telle fonctionnalité à l'achèvement de nos travaux. La principale motivation derrière ce mémoire a été la mise en lumière des différentes étapes jalonnant la mise en place d'une architecture de débogage Java totalement libre. Nous décrivons ici le choix de l'architecture et les critères nous ayant conduits à ce choix. Nous détaillons également les entités intervenant dans cette architecture, leur nature et leur rôle. Nous proposons enfin une critique constructive des normes régissant ce domaine, suggérant quelques améliorations possibles. Dans le cadre de nos travaux, nous avons réalisé l'implantation de l'interface de débogage Java (Java Virtual Machine Debug Interface, JVMDI) au sein de SableVM, machine virtuelle Java libre et conforme aux normes. D'autre part, nous avons développé un module indépendant permettant d'établir la connexion entre machine virtuelle Java et débogueur. Ce module gère également les objets manipulés durant une session de débogage, ainsi que les événements générés par la machine virtuelle. Finalement, nous avons connecté les éléments conçus ou modifiés dans le cadre de notre étude à d'autres éléments existants au préalable (Eclipse, un débogueur Java disponible librement). Les résultats obtenus lors des tests nous ont conforté dans les différents choix effectués lors du développement. L'utilisation de débogueurs totalement indépendants de la machine virtuelle utilisée, tel Eclipse, et la bonne tenue des sessions de débogage effectuées ont permis la validation de la conformité de nos travaux aux normes en vigueur. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Machine virtuelle, Java, SableVM, Débogage, Interface de débogage, Architecture de débogage, JDWP, JVMDI, JPDA, JVMTI, JRE.

Depuis leur apparition, la cohésion et le couplage (C&C) ont fait couler beaucoup d'encre, et ce en raison du rôle qui leur a été attribué dans la détermination des traits de plus qu'un attribut de la qualité du logiciel. Cette détermination a pris plusieurs aspects modelés selon les besoins et les réalisations de chaque étape d'évolution par lesquels ils sont passés. Ces aspects ont contribué grandement au retrait d'une large ambigüité qui a couvert le couple C&C comme tout autre concept mesurable de la qualité logicielle. En revanche, ils ont pris part à l'exacerbation du nombre de questions de recherche ---quelques unes vagues et d'autres précises, à propos de ce qui a formé une preuve évidente de la difficulté d'utilisation de ces deux concepts. Depuis toujours la source du problème de cette difficulté est connue: définitions informelles, et la solution est unique et unanime: définition de mesures objectives et normalisées. Mais, les visions, qui diffèrent à cause des multiples chemins possibles à prendre et des divers moyens envisageables, rendent en quelque sorte la réalisation de cette solution difficile. Dans notre étude nous avons analysé l'histoire de ces deux concepts en prenant comme point de départ le livre Structured Design de Yourdon et Constantine (1979). Nous avons ensuite suivi à la trace les changements de ces concepts tout au long des trois dernières décennies, en analysant une vingtaine d'articles marquants. Avec cette étude, nous avons découvert, qu'avec leurs visions différentes, les chercheurs sont arrivés à résoudre certains sous-problèmes (qui découlent du problème principal qui s'est avéré très complexe), tout en découvrant d'autres sous-problèmes qui ont besoin d'être solutionnés, pour que le tout permette un éclaircissement et une précision qui accordent une utilisation efficace du couple C&C, dans la production d'applications d'envergure où l'on applique les principes du génie logiciel (GL). Le résultat de notre étude peut être résumé par le «non» que nous avons donné comme réponse à notre question de recherche principale «Est-ce que les concepts de cohésion et de couplage ont des définitions assez précises pour pouvoir être employés de manière efficace dans le GL ?». ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Cohésion, Complexité, Couplage, Modularisation, Métrique, Qualité.

Dissertation--Juristische Fakultäten--Universität München, Panthéon-Assas (Paris 2), 2004. / Bibliogr. p. 461-520.

Thèse de doctorat--Informatique et réseaux--Paris--ENST, 2005. / Notes bibliogr. Résumé en français et en anglais.

Texte remanié de: Habilitation à diriger des recherches--Sciences de l'information et de la communication--Paris IV-Sorbonne. / Bibliogr. p. 301-305.

Thèse de doctorat : Informatique : Paris 12 : 2005. / Titre provenant de l'écran-titre. Bibliogr. p. 267-281.

Thèse de doctorat : Informatique : INPL : 2006. / Titre provenant de l'écran-titre. Bibliogr.

Thèse de doctorat : Informatique : INPL : 2006. / Titre provenant de l'écran-titre. Bibliogr.

Thèse doctorat : Informatique : Rennes 1 : 2005. / Bibliogr. p. 151-155.