MAÎTRISE INFORMATIQUE Option PROGRAMMATION, Projet année 2001-02
-- Projet attribué --
Système d'aide au développement de programmes par raffinement II
Sujet proposé par : Pascal MANOURY (Pascal.Manoury@pps.jussieu.fr)
Objectif
Réalisation d'une interface pour le système d'aide au développement de
programmes par raffinement (voir projet 2000-01).
Description
Les aspects à traiter pour ce projet concernent:
- l'ergonimie de l'interface; graphisme, menus, affichages de formules, etc.
- la communication entre le moteur du raffinement et l'interface
(définition d'un protocole - texte);
- l'ajout de fonctionnalités telles undo, sauvegarde, choix des
langages cibles, etc.