Documents de cours
disponibles en ligne
- Spécification et programmation : le cas de
la construction de boucles. Support partiel du cours « spécification et
programmation » de première année LSI, ce document traite de la
relation entre spécification (semi-formelle) et programme en traitant en
particulier le cas de la boucle. 50 pages. Format postscript.
- Compilation nilNovi. Support du cours compilation ce document
présente, par l’intermédiaire de trois niveaux graduels de langages
(algorithmique, procédural et objet) les principes de la compilation et de
l’exécution des programmes objets. 137 pages. Format postscript.
- Plan métaplan et dialogue. Support du cours de communication homme-machine.
Décrit le modèle de dialogue par plan de D. Litman. Format postscript.
Pour me contacter.