RA 1995     RA 1997
Suivant : Composition de l'équipe

PROJET CROAP

Conception et Réalisation d'Outils d'Aide à la Programmation

Rapport d'activité 1996

Page de présentation du projet - Rapport d'activité au format PostScript

Localisation : Sophia-Antipolis

Mots-clés : environnement de programmation, génie logiciel, fiabilité du logiciel, programmation, sémantique, sémantique naturelle, Centaur, typage, langage de programmation, transformation de programme, parallélisme, preuve de programme, programmation à objets, édition structurée, interface homme-machine, mise au point de programme

• Composition de l'équipe
• Présentation du projet
• Actions de recherche
  • Composants élémentaires d'environnements interactifs
    • Edition syntaxique guidée par menus
    • Spécifications de transformations de programmes
    • Accélérateurs clavier
    • Développement d'un outil de débogage pour PPML
    • Formateur incrémental graphique
    • Documentation et aide aux utilisateurs
  • Environnements de programmation
    • Parallélisation de programmes à objets
    • Transformations de programmes Sisal
    • Environnement de programmation pour le langage ML
    • Environnement pour Klone sous Centaur
    • Environnement pour Java sous Centaur
    • Tranches de dépendance dans les programmes annotés
  • Environnements de preuve
    • Déplacements d'expressions algébriques
    • Gestion de plusieurs tâches simultanées
    • Approche structurée du retour-arrière
    • Description textuelle des preuves
    • Un environnement léger pour Alf
  • Sémantique et preuves
    • Aide au développement de preuves en sémantique naturelle
    • Environnement Centaur pour Z
    • Développement formel en B d'un algorithme de graphes
  • Algorithmes de calcul formel certifiés
    • Mécanisation des preuves dans les langages parallèles
  • Vers un système de spécification d'ordre supérieur : théorie et pratique
    • Syntaxe abstraite d'ordre supérieur : spécification
    • Sémantique d'ordre supérieur
    • Récursion primitive
    • Premiers résultats métathéoriques
    • Spécification de langages de programmation
• Actions industrielles
  • CNET
  • Dassault-Aviation
  • SIMULOG
  • Bull - G.I.E. Dyade
• Actions nationales et internationales
  • Actions nationales
  • Actions internationales
    • Europe de l'ouest
    • Amérique
    • Asie et Océan Pacifique
• Diffusion des résultats
  • Conférences et congrès
  • Conférences invitées, tutoriels, cours, etc.
  • Actions d'enseignement
  • Thèses
    • Stages
  • Diffusion de logiciels
• Références
• Abstract