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