Table des matières

• Table des matières
• Composition de l'équipe
• Présentation du projet
• Actions de recherche
  • Panoplies d'outils interactifs
    • Formateur incrémental graphique FIGUE++
    • Visualisation graphique incrémentale
    • Edition syntaxique guidée par menus
    • Spécifications des transformations : TransForm
  • Environnements de programmation et de travail
    • Le langage Eiffel//
    • Sémantique d'un langage fonctionnel parallèle
    • Conception de collecticiels
    • Environnement de synthèse architecturale
    • Environnement pour Maple
    • Mise au point de programmes C
    • Environnement pour le langage Klone
    • Environnement pour le langage ML
  • Environnements de preuve
    • Gestion de la cohérence entre l'interface et le système de preuve
    • Consolidation des communications entre les systèmes
    • Description textuelle de preuves
    • Mise à l'épreuve sur des résultats fondamentaux de mathématiques
  • Sémantique et preuves
    • Contrôle d'exécution en sémantique naturelle
    • Formalisation de la récupération d'erreurs
    • Extensions des formalismes de spécification
    • Propriétés syntaxiques de la théorie des types
    • Etude du système ALF
    • Vérification formelle d'un distributeur automatique de billets
    • Un environnement de vérification de programmes
    • Syntaxe abstraite d'ordre supérieur et types inductifs
    • Étude d'un -calcul modal
    • Aide au développement de preuves en Sémantique Naturelle
• Actions industrielles
  • Coopération SIMULOG
  • Coopération GENIE
  • GIE Dyade
• Actions nationales et internationales
  • Actions nationales
  • Actions européennes
  • Actions internationales
• Diffusion des résultats
  • Colloques et congrès
  • Formation
    • Enseignement universitaire
    • Autres enseignements
    • Thèses
    • Stages
• Références
• Abstract