DESCRIPTIF DES RECHERCHES :
La recherche développée par l’équipe VASCO s’inscrit dans le champ du génie logiciel et des méthodes formelles appliquées. L’équipe a la conviction que les outils de génie logiciel doivent etre articulés autour des modèles. Notre activité principale est la validation qui concerne tant le logiciel que les modèles.
Nos recherches s’inscrivent dans les défis "Sécurité, sûreté, fiabilité", "Systèmes embarqués" et "Bâtiment intelligent" du projet scientifique du LIG et du projet PILSI. Elles contribuent au projet "informatique ambiante et durable" du LIG par ses contributions en sûreté, sécurité et qualité du logiciel.
MOTS CLÉS :
- Génie des Logiciels et des Systèmes d’Information
- Logiciel
- Génie logiciel, Spécification et validation, Vérification - Preuve - Test, Sûreté et qualité des logiciels, Sécurité
Site web du LIG