Résumé: Cette thèse présente la conception et la réalisation de pascal/v, un environnement de programmation permettant d'articuler enseignement et apprentissage et centre sur le rôle des variables. Il comprend un compilateur pédagogique, un outil de visualisation de trace au pas-a-pas, des inspecteurs spécialises pour les types et une aide contextuelle pour les erreurs d’exécution. Un grand soin a été porte a la fidélité conceptuelle des outils interactifs de découverte. Ils sont souvent le résultat d'un compromis entre besoins didactiques et possibilités techniques des interfaces. Nous considérons que le rôle d'une variable est une extension de son type et fait le lien entre structure de données et traitements. L’implémentation fait clairement la distinction entre les vérifications de compatibilité de types, effectuées a la compilation et les vérifications de contraintes portant sur les sous-types, effectuées a l’exécution. Ces dernières sont la base de l'aide contextuelle qui fournit des suggestions a l’élevé afin de le guider dans son apprentissage. Ces suggestions constituent un élément de la représentation du domaine sous forme de règles Prolog/v et permettent notamment a l’élève de comprendre le rôle de l'environnement d’exécution dans l’interprétation d'une erreur. Pascal/v est écrit en smalltalk/v sur macintosh et sa réalisation nous a amene a explorer en détail les principes de compilation et de débogage interactif en smalltalk/v afin de construire différentiellement un compilateur pascal, a expérimenter les limites de l'architecture d'interface utilisateur mvc de smalltalk dont nous faisons une critique accompagnée de propositions nouvelles et a mettre en avant l'importance des coopérations de classes dans la programmation objet, notamment pour l'organisation système et la compréhension de code.

Paris:
Langue: Français
Collation: 229 p. ill. ;30 cm.
Diplôme: Doctorat
Etablissement de soutenance: Paris, Université Pierre et Marie Curie. Institut Blaise Pascal
Spécialité: Informatique
Index décimal 004.21 .Analyse et conception des systèmes informatiques (analyse des besoins d'un utilisateur préliminaire à l'élaboration d'un système informatique répondant à ses besoins, conduite de projets)
Thème Informatique

Mots clés:
Prolog (langage de programmation)
Programmation orientée objets (informatique)
PASCAL (langage de programmation)
Programmation : Etude et enseignement

Note: Bibliogr. pp.216-229