Précédent :
Présentation du projet
Remonter :
Projet CROAP
Suivant :
Panoplies d'outils interactifs
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