Développement d'une notation algorithmique adaptée à une démarche de programmation
systématique et validation de l'emploi de méthodes précises d'analyse et de techniques de
programmation au travers d'une expérience significative. La première partie de la thèse
propose une réflexion sur les concepts sous-jacents à la maitrise des diverses constructions
algorithmiques de base. Tandis que la deuxième partie aborde la spécification des divers
composants d'un environnement de programmation