Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve.

International audienceCet article s'intéresse à la validation et à la vérification formelles d'IHM Multi-Modales (IHM3). Il décrit une partie des résultats obtenus dans le cadre du projet RNRT VERBATIM, dont l'objet est la VERification Biformelle et l'Automatisation du Test des Interfaces Multimodales. Ce projet s'intéresse, entre autres, à la mise en œuvre d'une technique formelle fondée sur la preuve : la méthode B événementiel. Nous discutons les apports de cette technique pour la conception d'IHM3, en particulier, sa capacité à exprimer et à vérifier des propriétés de la famille CARE. Notre approche utilise et propose de formaliser des notations et techniques semi-formelles issues du domaine des IHM

Modélisation et mise en œuvre d'environnements informatiques pour la régulation de l'apprentissage, le cas de l'algèbre avec le projet LINGOT

200 pagesCe projet a pour objectif de mettre à la disposition des enseignants des outils performants pour un travail plus individualisé avec des élèves dans le domaine de l'algèbre élémentaire. Le travail s'appuie sur des recherches théoriques en Didactique des Mathématiques et en Environnements Informatiques d'Apprentissage Humain. Le projet a produit un logiciel, appelé Pépite, qui construit automatiquement le profil cognitif en algèbre d'un élève du secondaire à partir de ses réponses à un test spécialement élaboré à cet effet

31ème Journées Francophones des Langages Applicatifs

International audienc

Actes de la conférence Traitement Automatique de la Langue Naturelle, TALN 2018: Volume 2 : Démonstrations, articles des Rencontres Jeunes Chercheurs, ateliers DeFT

International audienc

Le discours représenté dans les interactions orales. De l'étude des structures en contexte vers la construction de l'image des relations interlocutives

Based on a contextualized data extracted from ESLO, an oral corpus of modern French, this PhD thesis examines the variation in the actualization of represented (reported) speech, with a double aim: to account for their structural complexity in oral interaction and to analyze their influence on the construction of the interlocutive relation and thematic paths.After defining the external borders of the phenomenon and placing the concept of represented speech with regard to several linguistic and non-linguistic approaches that reflect its epistemological complexity, this study engages in two directions. The first one, formal, will define represented speech as grammatical constructions, determined by the inseparability of three criteria: the bipartite structure, the enunciation offset and the metadiscursive functioning. The main contribution of this analysis is being illustrated in the reinterpretation of the link between “quoting discourse” and “quoted discourse”, analyzed in the macrosyntactic perspective that applies to all occurrences of represented speech in oral interaction. The second direction, which relates to the links between represented speech and the construction of an interlocutive relation, studies several represented speech configurations in context, with two aims: the study of the relation to the interlocutor, through the staging and the authenticity illusion conveyed by represented speech, and the study of the relation to oneself, the speaker, constructing a self-image through his interventions in the reconstruction of other words.A partir des données contextualisées, extraites d’ESLO, un corpus oral du français contemporain, cette thèse étudie la variation dans l’actualisation des discours représentés (rapportés), avec une double finalité : rendre compte, par un modèle théorique, de leur complexité structurale dans le contexte des interactions orales et analyser leur influence sur la construction des liens interlocutifs et des trajectoires thématiques.Après avoir délimité les frontières externes du phénomène et situé le concept de discours représenté par rapport à plusieurs approches linguistiques et extralinguistiques qui reflètent sa complexité épistémologique, cette étude s’engage dans deux directions. La première, formelle, proposera une définition des discours représentés en tant que constructions grammaticales, définies par l’inséparabilité de trois critères : la structure bipartite, le décalage énonciatif et le fonctionnement métadiscursif. L’apport principal d’une telle analyse se précise dans la réinterprétation des liens entre le « discours citant » et le « discours cité », étudiés dans une perspective macrosyntaxique qui s’applique à toute la variation dans l’actualisation des discours représentés en contexte des interactions orales. La seconde direction, qui se rapporte aux liens entre les discours représentés et la construction d’une relation interlocutive, présente l’étude de plusieurs configurations de discours représentés en contexte, avec deux finalités : l’étude du rapport à autrui, l’interlocuteur, moyennant la mise en scène et l’illusion d’authenticité véhiculées par le discours représenté et l’étude du rapport à soi-même, le locuteur, par la construction d’une image de soi à travers les interventions dans la reconstruction des paroles autres

L'influence de la boucle phonologique dans l'activité de lecture de publics précoces croates apprenant le français

This study examines reading acquisition in French as a Foreign Language by Croatian early learners (9-11 y.), beginners in L2 French. Designed under the cognitive perspective of foreign language learning/teaching, the thesis is divided in three parts. The first one sets the theoretical framework of the research by presenting relevant issues in fields of linguistics, psycholinguistics and foreign language acquisition and teaching. Firstly, we are dealing with the phonological and orthographic correspondences in Croatian and in French. Subsequently, we are discussing the pertinence of different psycholinguistic reading models, followed by a presentation of the concept of working memory in relation with respect to the learning processes. The second section describes the psycholinguistic experimental study undertaken in order to highlight phonological loop's influence on Repeating and Reading Aloud activities by targeting presumably difficult phonemes for Croatian native speakers. Lastly, the third part ponders over the results which are providing several implications for foreign language acquisition and teaching, notably those concerning the role and status of written language in literacy access practices in a foreign language.Cette étude porte sur l'apprentissage de la lecture en français (langue étrangère) par des enfants croates de 9 à 11 ans. Ce travail, envisagé sous l'angle de la didactique cognitive des langues, se compose de trois parties. La première est consacrée à une présentation théorique des données linguistiques, psycholinguistiques et didactiques pertinentes dans le cadre de cette recherche. En premier lieu sont envisagées les correspondances phonologiques et orthographiques en croate et en français. Ensuite, nous discutons de la pertinence de différents modèles psycholinguistiques de la lecture, avant d'établir le concept de la mémoire de travail au sein des apprentissages. Le deuxième volet consiste en une étude expérimentale s'efforçant de mettre en relief l'influence de la boucle phonologique dans l'activité de répétition et de lecture à haute voix en ciblant des phonèmes présentant des difficultés pour les croatophones. La procédure adoptée obéit aux critères des expériences relevant de la psycholinguistique. La troisième partie envisage quelques perspectives didactiques à partir des résultats obtenus et met en lumière qu'il importe de reconsidérer le rôle et les différents statuts de l'écrit dans l'accès à la littératie en langue étrangère

Défis de la publication sur le web (Les)

Comment trouver dans l’histoire de la lecture des repères pour décrypter celle du numérique ? Qu’est-ce que lire sur un écran ou naviguer sur la toile ? L’hyperlien désoriente-t-il ou balise-t-il la lecture ? Qu’est-ce qu’une œuvre hypertextuelle ? Pourra-t-on un jour feuilleter un livre électronique ? Sommes-nous, grâce à l’hypertexte, les premiers vrais lecteurs de l’Encyclopédie ? Écrit-on « dans le ciel » à la vitesse de la pensée ? Trouvera-t-on un jour un compromis pour financer une édition sur le Web ? Comment se construisent les échanges dans les messageries ? Comment s’articulent pédagogie et offre de documents numériques ? Comment le Web agit-il comme mémoire sociale ? Comment faire la part de vérité et de mensonge face à des écrits foisonnants et évanescents ? Etc. Voilà quelques-unes des questions posées par les auteurs de ce livre issu d’un colloque franco-québécois. Le débat n’est pas clos, ses termes n’ont sans doute même pas encore été tous énoncés et l’évolution des outils est encore explosive. Mais cet ouvrage marque une étape car il fait se rencontrer la sensibilité littéraire et celle des sciences de l’information dans une réflexion pluridisciplinaire menée par des réseaux très actifs de chercheurs francophones autour du document numérique

Contrôle et pilotage de la performance globale des universités. Une approche par les parties prenantes : l'exemple du développement durable

The governance of French universities has been profoundly transformed in recent years by developments that have affected the entire public sector, leading to a real drive to achieve an enhanced public performance. The development of a management culture has led French universities to develop control systems to meet the new challenges resulting from these changes. Existing systems can meet the demands of regulatory authorities, but they are not sufficient to help in the strategic piloting. This is due to ambiguous objectives, resulting from the numerous missions of the universities and the similarly numerous stakeholders which should be taken into account. Thus the control systems in place are insufficient for the measurement and control of overall performance. This research shows that if the political will is strong in university, a methodological approach decoupling performance dimensions and based on the expectations of stakeholders allows clarification of the objectives. The implementation of management control systems is also made possible providing universities with the means to control their activities and evaluate their overall performance. Taking the example of the mission of the university in terms of sustainable development, an exploratory approach using multiple case study and action research contributes to the development of a management control system finalized by a Sustainability Balanced Scorecard.La gouvernance des universités françaises a été profondément transformée en quelques années par les évolutions qui ont touché l’ensemble du secteur public, conduisant à promouvoir et installer une véritable quête de la performance publique. Le développement d’une culture gestionnaire a conduit les universités françaises à développer des systèmes de contrôle pour répondre aux nouveaux enjeux découlant de ces évolutions. Les dispositifs existants permettent de satisfaire les demandes des autorités de tutelle, mais ne suffisent pas pour aider au pilotage et éclairer la stratégie, tant les objectifs à poursuivre sont ambigus au regard des nombreuses missions des universités et des parties prenantes toutes aussi nombreuses dont il faudrait tenir compte. Les systèmes de contrôle mis en place sont ainsi bien éloignés de la mesure et du pilotage d’une performance globale. Cette thèse montre que si la volonté politique est forte dans l’université, une démarche méthodologique découplant les dimensions de la performance et s’appuyant sur les attentes des parties prenantes rend possible la clarification des objectifs et la conception de systèmes de contrôle apportant aux universités les moyens de piloter leurs activités et évaluer leur performance globale. En prenant l’exemple de la mission développement durable de l’université, une démarche exploratoire utilisant l’étude de cas multiples puis la recherche-intervention, contribue à l'élaboration, dans une université, d’un système de contrôle et de pilotage finalisé par un tableau de bord du développement durable