Projet Para

previous up next contents
Précédent : Fondements scientifiques Remonter : Projet PARA, Parallélisme Suivant : Logiciels


Grands domaines d'application

 
Résumé : L'analyse statique de programmes a des retombées dans la validation des logiciels critiques embarqués pour l'aéronautique, l'automobile ou l'espace. La programmation distribuée avec mobilité intervient dans la programmation du World Wide Web et des systèmes autonomes.