Mémoires de Fin d’Etudes
Etablissement
Université de Tébessa - Larbi Tébessi
Affiliation
Département d’Informatique
Auteur
HAMIDANE, Fathi
Directeur de thèse
BELEILI Habiba (Docteur)
Filière
Informatique
Diplôme
Magister
Titre
Formalisation des besoins fonctionnels des sysètmes Multi agents à l’aide de Maude
Mots clés
Spécification formelle ; multi agent; besions fonctionnels ; cas d’utilisation
Statut
Vérifié