SAFA : architecture logicielle et approches formelles dans les systèmes complexes

Description

L’équipe « Architecture logicielle et approches formelles dans les systèmes complexes » s’oriente au domaine lié aux  nouvelles méthodologies dans le génie logiciel, et a pour objectifs  l’étude, la maîtrise et l’amélioration des approches de modélisation des systèmes complexes. Une partie de l’effort de l’équipe est dédiée à la modélisation à base de composants logiciels et à la structuration architecturale des systèmes. Les approches formelles sont aussi de mise pour garantir des implémentations conformes aux spécifications. Un intérêt particulier est accordé à l’utilisation des approches existantes de vérification dans le but de les adapter aux systèmes complexes. Ceci conduit à la simplification de la vérification des systèmes par l’utilisation d’heuristiques.

Composition

L’équipe est composée des chercheurs suivants :

 

  crsict 2014: crsict.univ-annaba.dz