Précédent : Présentation et objectifs généraux Remonter : Conception et Réalisation d'Outils d'Aide Suivant : Outils pour la manipulation de

Fondements scientifiques

Outils pour la manipulation de données structurées
- Moteur d'affichage et outils interactifs de manipulation
- Spécifications sémantiques
Études de langages de programmation
Preuve interactive
Vers un nouveau système de spécification : théorie et pratique