Modèles et Formalismes


RESPONSABLE DE L'EQUIPE 


Nom et Prénom : BOUABANA TEBIBEL Thouraya
Titre : Doctorat d'état
Grade actuel : Professeur
Domaine(s) d'intérêt : Formalisation / Validation de systèmes


COMPOSITION DE L'EQUIPE DE RECHERCHE 

 

Nom Prénom Diplôme Grade  Spécialité Structure de rattachement
Bouabana Tebibel  Thouraya Doctorat d'état Pr Informatique  ESI
Méziani  Lila Doctorat MCB Informatique  ESI
Belguechi  Rima Doctorat MCB Informatique  U. Constantine
Ménacer Djamel Doctorat MCB Informatique  ESI
Mosteghanemi M'hamed  Magister MAA Informatique  ESI
KHOURI Selma Doctorat MCB Informatique ESI
BOUZAR Lynda Doctorat MCB Informatique 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