قسم الإعلام الآلي - مسارات التكوين
Département d'informatique - Parcours de formation
M1 - Ingénierie des Logiciels Complexes
Semestre 1
Unité ILC1 –
Fondamentale
Qualité du logiciel
ع
جودة البرامج
EN
Software quality
Coef.
2
Créd.
4
-
1
Cours
1
TD
0
TP
Génie logiciel et systèmes ouverts
ع
هندسة البرامج و الأنظمة المفتوحة
EN
Software engineering and open systems
Coef.
2
Créd.
4
-
2
Cours
0
TD
0
TP
Unité ILC2 –
Fondamentale
Systèmes distribués et services web
ع
الأنظمة الموزعة و خدمات الويب
EN
Distributed systems and web services
Coef.
3
Créd.
6
-
2
Cours
1
TD
0
TP
Sémantique formelle
ع
الدلالة المنهجية
EN
Formal semantics
Coef.
2
Créd.
4
-
1
Cours
0
TD
1
TP
Unité ILC3 –
Méthodologique
Administration des BDD
ع
إدارة قواعد البيانات
EN
Database administration
Coef.
3
Créd.
5
-
1
Cours
1
TD
1
TP
Protection et sécurité des systèmes informatiques
ع
حماية و أمن الأنظمة المعلوماتية
EN
Computer protection and security
Coef.
2
Créd.
4
-
1
Cours
1
TD
0
TP
Unité ILC4 –
Transversale
Initiation à l'IA
ع
مدخل إلى الذكاء الاصطناعي
EN
Introduction to artificial intelligence
Coef.
2
Créd.
2
-
2
Cours
0
TD
0
TP
Présentation d'un travail scientifique
ع
تقديم عمل علمي
EN
Scientific presentation
Coef.
1
Créd.
1
-
1
Cours
0
TD
0
TP
Semestre 2
Unité ILC5 –
Fondamentale
Gestion des projets
ع
تسيير المشاريع
EN
Project management
Coef.
2
Créd.
4
-
1
Cours
1
TD
0
TP
Spécification et modélisation formelle
ع
التوصيف و النمذجة الرسمية
EN
Formal specification and modelling
Coef.
2
Créd.
4
-
1
Cours
1
TD
0
TP
Unité ILC6 –
Fondamentale
Formalismes et algorithmes des systèmes distribués
ع
شكلية و خوارزميات الأنظمة الموزعة
EN
Formalisms and algorithms of distributed systems
Coef.
3
Créd.
6
-
1
Cours
1
TD
1
TP
Processus métiers et processus AGILE
ع
العمليات و التطوير آجايل
EN
Business processes and AGILE processes
Coef.
2
Créd.
4
-
2
Cours
0
TD
0
TP
Unité ILC7 –
Méthodologique
Mesure du logiciel et estimation
ع
قياسات البرامج و التقدير
EN
Software measurement and estimation
Coef.
3
Créd.
5
-
1
Cours
1
TD
1
TP
Méthode de résolution des problèmes
ع
طرق حل المشكلات
EN
Problem solving methods
Coef.
2
Créd.
4
-
1
Cours
0
TD
1
TP
Unité ILC8 –
Découverte
Paradigmes des langages de programmation
ع
نماذج لغات البرمجة
EN
Paradigms of programming languages
Coef.
1
Créd.
1
-
1
Cours
0
TD
0
TP
Modélisation des systèmes complexes et SMA
ع
نمذجة الأنظمة المعقدة و الأنظمة متعددة الوكلاء
EN
Complex systems modelling and multi-agent systems
Coef.
2
Créd.
2
-
2
Cours
0
TD
0
TP