Volume 24 – n° 9/2005
Technique et science informatiques
Sommaire Volume 24 – n° 9/2005
LANGAGES APPLICATIFS
SPÉCIFICATION, PROGRAMMATION, VÉRIFICATION V. MÉNISSIER-MORAIN
Editorial . . . 1053 E. CHAILLOUX, G. HENRY, R. MONTELATICI
Interopérabilité avec Objective Caml . . . 1055 J. COHEN
Typage des collections topologiques hétérogènes
et des transformations . . . 1081 F. GUILHOT
Formalisation en Coq et visualisation d’un cours de géométrie
pour le lycée . . . 1113 D. DELAHAYE, M. JAUME, V. PREVOSTO
Coq, un outil pour l’enseignement. Une expérience
avec les étudiants du DESS Développement de logiciels sûrs . . . 1139 Y. BERTOT
Vérification formelle d’extractions de racines entières . . . 1161
Chronique
C. DUBOIS
Typage, sûreté et sécurité . . . 1187
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com