Projet Croap

                               RA 1996     RA 1998
Suivant : Composition de l'équipe

Projet CROAP

Conception et réalisation d'outils d'aide à la programmation

Rapport d'activité de 1997

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

Localisation : Sophia Antipolis


Mots-clés : environnement de programmation, fiabilité du logiciel, génie logiciel, interface homme-machine, langage de programmation, parallélisme, preuve de programme, preuve de sémantique,programmation à objets, sémantique, sémantique naturelle, transformation de programmes