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