|
 Thème 7 - Sûreté de développement du logiciel
Responsable : Mamoun Filali
Objectifs
Dans le domaine de l’aide au développement de logiciel, les recherches visent à réduire les coûts et les délais de validation de logiciels critiques, par l’utilisation de méthodes formelles.
Trois axes sont explorés : La théorie des types, appliquée en particulier aux langages de spécification, au développement de preuves, et à la validation par preuve et vérification.
L’aide au développement de systèmes réactifs, composites ou concurrents, répartis et mobiles. Les recherches portent sur les méthodes de développement, les (...)
Lire la suite
 Sous-rubriques :
|
Accueil
