Elise: un logiciel pour s'entraîner à une méthode de
calcul de primitives
Elisabeth Delozanne , Pierre Jacoboni
Laboratoire d'Informatique de l'Université du Maine
Nous présentons dans cet article un projet de recherche déjà
ancien mais qui s'est révélé très fructueux
et dont le développement actuel des TIC montre l'actualité.
Dans le cadre de ces journées, nous présentons Elise un logiciel
dont l'objectif est de favoriser l'apprentissage du calcul formel par la
résolution d'exercices et les explications données à
la demande.
Nous analysons les explications à fournir et soutenons la thèse
que ces explications sont impossible à obtenir d'un logiciel de
calcul formel. Nous proposons également une méthodologie
de conception de logiciels d'EIAH fondée sur un travail pluridisciplinaire
et la conception situations d'interaction donnant lieu à des maquettes
suffisamment robustes pour être testées dans des conditions
réelles. Enfin nous étudions les limites de notre approche.