Modèles et Formalismes


RESPONSABLE DE L'EQUIPE 


Nom et Prénom : YAHIAOUI Chafia
Titre : Doctorat
Grade actuel : Maître de conférences A
Domaine(s) d'intérêt : Nouvelles générations de réseaux


COMPOSITION DE L'EQUIPE DE RECHERCHE 

 

Nom Prénom Diplôme Grade  Spécialité Structure de rattachement
YAHIAOUI Chafia Doctorat MCA Informatique  ESI
Méziani  Lila Doctorat MCB Informatique  ESI
Ménacer Djamel Eddine Doctorat MCB Informatique  ESI
BOUZAR Lynda Doctorat MCB Informatique ESI
LAMMARI Amina Doctorat MCB Electronique ESI


      
PROGRAMME DE RECHERCHE DANS LE DOMAINE DE SES ACTIVITES 

- Associer les formalismes et semi-formalismes adéquats aux types de systèmes à considérer.
- Établir les bonnes associations entre formalismes et semi-formalismes selon l'aspect à considérer sur les systèmes.
- Préciser la syntaxe et la sémantique des langages semi-formels.
- Prendre en charge le processus de vérification des systèmes à partir de modèles semi-formels.
- Limiter dans le processus de validation des systèmes, l'expertise du concepteur aux méthodes de spécification semi-formelles.
· Établir la preuve formelle des équivalences de spécifications.


COLLABORATEURS SCIENTIFIQUES