Un système d'aide à l'enseignement d'une méthode de programmation

Résumé : Cet article présente les objectifs et les concepts d'un système d'aide à l'apprentissage d'une méthodologie de construction de programmes. Ce système est en cours de réalisation à l'Institut d'Informatique des Facultés Universitaires de Namur où cette méthodologie est enseignée. Il permettra d'aider les étudiants à comprendre et à appliquer cette méthode.
La méthodologie se base sur la construction par invariant, c'est-à-dire la description d'une situation générale et la construction de suites d'instructions en fonction de cette situation générale. Les difficultés que peuvent rencontrer ceux qui utilisent la méthode concernent essentiellement le caractère peu intuitif du raisonnement en termes de situation, ainsi que la rigueur nécessaire à la formalisation mathématique des situations. Le système devrait permettre de résoudre ces difficultés.
Le système d'aide à l'apprentissage de cette méthode est basé d'une part sur un langage graphique de description de situations dont le concept fondamental est la notion de "segment", et d'autre part sur un langage mathématique d'expression d'assertions, lui-même basé sur les notions de "suite" et d'"ensemble". Parmi les fonctionnalités du système, mentionnons notamment la vérification par démonstration formelle, la recherche de contre-exemples, des vérifications de cohérence entre les deux types d'expression de situations, des vérifications de cohérence et de complétude par rapport à la méthode.
Dans cet article, nous illustrons également différents scénarios d'utilisation du système, ainsi que le type de remarques qu'il peut offrir. Le problème du "segment de somme maximale" est résolu complètement, selon la méthode supportée par le système.
Type de document :
Communication dans un congrès
Georges-Louis Baron, Jacques Baudé, Philippe Cornu. Colloque francophone sur la didactique de l'informatique, Sep 1988, Paris, France. Association EPI, pp.147-173, 1989, 〈ISSN : 0758-590 X ; http://www.epi.asso.fr/association/dossiers/d07som.htm〉
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://edutice.archives-ouvertes.fr/edutice-00362069
Contributeur : Administrateur De L'Archive Edutice <>
Soumis le : mardi 17 février 2009 - 10:56:13
Dernière modification le : mardi 7 avril 2009 - 17:11:25
Document(s) archivé(s) le : mardi 8 juin 2010 - 20:51:54

Fichier

d07p147.pdf
Accord explicite pour ce dépôt

Identifiants

  • HAL Id : edutice-00362069, version 1

Collections

Citation

Marc Derroitte, Baudoin Le Charlier. Un système d'aide à l'enseignement d'une méthode de programmation. Georges-Louis Baron, Jacques Baudé, Philippe Cornu. Colloque francophone sur la didactique de l'informatique, Sep 1988, Paris, France. Association EPI, pp.147-173, 1989, 〈ISSN : 0758-590 X ; http://www.epi.asso.fr/association/dossiers/d07som.htm〉. 〈edutice-00362069〉

Partager

Métriques

Consultations de la notice

153

Téléchargements de fichiers

122