RA
1996 RA 1998Suivant : Composition de l'équipe
RA
1996 RA 1998
Suivant : Composition de l'équipe
Projet LANDE
Conception et validation de logiciels
Rapport d'activité de 1997
Page de présentation du projet - Rapport d'activité au format PostScript ou PDF
Localisation : Rennes
Mots-clés : Logiciel, Environnement de programmation,
Langage déclaratif, Base de donnée déductive, Architecture de
logiciel, Sémantique, Analyse de programmes, Typage, Correction,
Sécurité, Java, Vérification, Aide à la mise au point, Débogage,
Test
Prolog