Cet article porte sur l'emploi de traces dans un contexte éducatif et sur leur utilisation dans un EIAH. La première partie présente le logiciel Aplusix, un micromonde pour l'apprentissage de l'algèbre qui permet l'enregistrement de productions d'élèves, comme celles obtenues dans l'environnement classique papier, mais comportant de plus d'autres informations, comme le temps, les hésitations, les corrections. Ce recueil produit une trace brute qui représente une modélisation comportementale des élèves dont les utilisations sont immédiates (visualisation, statistiques). La deuxième partie porte sur des traitements et diagnostics locaux effectués sur ces traces dans l'environnement informatique Anaïs. Ce logiciel procède à une restriction, un...
Dans cet article, nous sommes intéressés à la détermination automatique de théorèmes-en-acte en algè...
International audienceDans cet article, nous nous intéressons à la problématique de l’ingénierie des...
Cet article présente une application de techniques issues du génie logiciel à la modélisation d'envi...
Cet article porte sur l'emploi de traces dans un contexte éducatif et sur leur utilisation dans un E...
This article is about the place of traces in education and legitimates their use in TEL. The first p...
National audienceDans cet article, nous proposons d’envisager les traces laissées par un utilisateur...
International audienceLa notion de trace numérique prend de plus en plus d'importance dans le domain...
National audienceToute activité médiée par l'outil informatique laisse des traces numériques qui con...
Articles de 6 pagesNational audienceLe travail présenté porte sur la représentation et l'exploitatio...
Cet article propose une approche conduite par les modèles pour la gestion des traces d'activité des ...
Approches Formelles dans l'Assistance au Développement Logiciel, Bordeaux, France, 09-/06/2015 - 10/...
International audienceLa notion de trace numérique prend de plus en plus d’importance dans le domain...
National audienceNotre objectif de recherche est de proposer des modèles et des outils génériques pe...
Cet article décrit un logiciel intéractif d'analyse temps-fréquence implanté sur un micro-ordinateur...
National audienceNous proposons dans cet article une architecture de Project-Based Learning Manageme...
Dans cet article, nous sommes intéressés à la détermination automatique de théorèmes-en-acte en algè...
International audienceDans cet article, nous nous intéressons à la problématique de l’ingénierie des...
Cet article présente une application de techniques issues du génie logiciel à la modélisation d'envi...
Cet article porte sur l'emploi de traces dans un contexte éducatif et sur leur utilisation dans un E...
This article is about the place of traces in education and legitimates their use in TEL. The first p...
National audienceDans cet article, nous proposons d’envisager les traces laissées par un utilisateur...
International audienceLa notion de trace numérique prend de plus en plus d'importance dans le domain...
National audienceToute activité médiée par l'outil informatique laisse des traces numériques qui con...
Articles de 6 pagesNational audienceLe travail présenté porte sur la représentation et l'exploitatio...
Cet article propose une approche conduite par les modèles pour la gestion des traces d'activité des ...
Approches Formelles dans l'Assistance au Développement Logiciel, Bordeaux, France, 09-/06/2015 - 10/...
International audienceLa notion de trace numérique prend de plus en plus d’importance dans le domain...
National audienceNotre objectif de recherche est de proposer des modèles et des outils génériques pe...
Cet article décrit un logiciel intéractif d'analyse temps-fréquence implanté sur un micro-ordinateur...
National audienceNous proposons dans cet article une architecture de Project-Based Learning Manageme...
Dans cet article, nous sommes intéressés à la détermination automatique de théorèmes-en-acte en algè...
International audienceDans cet article, nous nous intéressons à la problématique de l’ingénierie des...
Cet article présente une application de techniques issues du génie logiciel à la modélisation d'envi...