|
Les Options
Chaque étudiant doit
choisir une option parmi les deux options suivantes:
OPTION 1 :
Traitement des
langues, images et documents
Objectifs
Présenter et explorer les méthodes et techniques pour:
• La vision par ordinateur.
• Le traitement automatique des langues.
• L’analyse et la reconnaissance de documents.
Modules
|
Module |
Code |
Taux horaire |
Coeffi. |
Enseignant |
|
Traitement
automatique des langues |
OP 11 |
30 |
2 |
-E . Souissi
(ESSTT- Tunisie)
- F. Debili
(CNRS- France) |
|
Vision
artificielle |
OP 12 |
30 |
2 |
-
L. Ben Youssef (ESSTT- Tunisie)
- F. Ghorbel
(ENSI – Tunisie)
- V. Cantoni (Univ.
Pavia- Italie) |
|
Analyse et
reconnaissance des documents |
OP 13 |
30 |
2 |
- A. Kacem
(ESSTT- Tunisie)
- A. Belaid (Loria,
Nancy France) |
|
Total |
90 h |
6 |
|
OPTION 2 :
Techniques et outils de
modélisation des systèmes
Objectifs
• Présenter les concepts
et les techniques nécessaires à la compréhension des approches,
méthodes, et outils basés sur l’ingénierie des modèles.
• Présenter les concepts de base des systèmes multi-agents et des
réseaux de neurones.
• L’utilisation des méthodes formelles de spécification et des
techniques et outils de vérification dans le cycle de développement d’un
logiciel.
Modules
|
Module |
Code |
Taux horaire |
Coeffi. |
Enseignant |
|
Systèmes
multi-agents et réseaux de neurones |
Op 21 |
30 |
2 |
- B. Fayech, (ESSTT-Tunisie)
- F. Fnaiech
(ESSTT – Tunisie) |
|
Ingénierie
dirigée par les modèles |
Op 22 |
30 |
2 |
- H. Ben
Abdallah (FSEGS-Tunisie)
- A. Bouraoui
(UTIC –ESSTT, Tunisie) |
|
Méthodes et
outils formels de développement |
Op 23 |
30 |
2 |
- M. Jmaiel (ENIS-
Tunisie)
-L. J. Ben
Ayed (UTIC-Tunisie) |
|
Total |
90h |
6 |
|
|
