The course is intended for postgraduate students, specifically for second-year GLSD masters’ students enrolled in the computer science department within the Faculty of Sciences and Technology. The course focuses on the principles and practices of data mining techniques. Through the course, students will acquire a comprehensive understanding of diverse datamining techniques, and develop proficiency in their practical implementation using the R and Python programming languages.

Le présent cours fait l’objet d’étude et de  présentation de l’approche de développement à base de composants logiciels ainsi que la majorité des notions et des concepts en relation avec le concept “composant”.

 


L’objectif de ce cours est d’introduire l’étudiant au domaine de la validation et la vérification formelle des systèmes distribués. Les approches de vérification formelle développées sont l’approche logique, l’approche par bissimulation et l’approche de test formel.