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
Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00308507 |
Date | 19 December 1983 |
Creators | Morat, Philippe |
Source Sets | CCSD theses-EN-ligne, France |
Language | French |
Detected Language | French |
Type | PhD thesis |
Page generated in 0.0014 seconds