- Enseignant: Mohamed EL Amine BOUHADIBA
- Enseignant: aicha benelhadj djelloul
Ce cours propose les premiers jalons d'une compétence en recherche scientifique en combinant des aspects philosophiques et opérationnels. Il explore les fondements du processus scientifique : épistémologie de la science, formulation d'un problème et d'hypothèses associées, recherche bibliographique, types de données et approches générales d'échantillonnage, communication des résultats auprès des pairs et du public, évaluation de la recherche, éthique de la recherche scientifique.
- Enseignant: aicha benelhadj djelloul
La matière "Techniques de Vérification formelle" vise à enseigner la vérification formelle des systèmes répartis en utilisant des outils de base tels que les réseaux de Petri et les automates, ainsi que les logiques temporelles LTL et CTL. Elle couvre également le développement d'algorithmes de vérification basés sur le model-checking. Le contenu comprend l'étude des réseaux de Petri, des automates, des logiques temporelles, du modèle model-checking, ainsi que des méthodes de réduction.
- Enseignant: abdelkrim bouadjemi
A la fin de cette matière, l’étudiant aura une vision claire pour la réalisation de programmes
efficaces qui utilise la ressource réseau et il sera capable de réaliser d'applications utilisant le
mécanisme des sockets.
- Enseignant: mourad bouatouche
- Enseignant: Seyyid Ahmed Medjahed