قائمة المترشحين لـ اجتياز دكتوراه اعلام آلي قسنطينة

[kaMourad]

STIC

Option 1 :
Epreuve 1 (2h): Conception de Systèmes d’informations interopérables
Programme : Méthodes de développement de systèmes d’information (MERISE, UML..), Coopération et interopérabilité des Systèmes d’information, Gestion des projets, Processus métier et Web services, Développement des e-applications, Design patterns, Composants et frameworks, Bus de communication (RMI, CORBA, ESB, …).
Epreuve 2 (2h): Techniques des bases de données avancées
Programme : Intégration de données, Interopérabilité des bases de données, Bases de données distribuées, Bases de données Web, Architecture Client/serveur, Ontologies et bases de données, Sécurité des bases de données


Systèmes Distribués
Option 2 :
Epreuve 1 : Recherche opérationnelle avancée
Programmation dynamique ; Programmation non linéaire ; Programmation en nombres entiers ; Optimisation combinatoire ; Méthodes exactes et Méthodes approchées
Epreuve 2 : Algorithmes distribués et protocoles de communication
Exclusion mutuelle distribuée, Rendez-vous distribués, Propriétés stables, Temps virtuel, Calcul de l'état global ; Modèle d'architecture OSI ; Modèle d'architecture TCP/IP, Protocoles standards de la couche application de TCP/IP, vérification de protocoles.
Epreuve 3 : Algorithmes parallèles et Méthodes formelles
Techniques de parallélisation, Domaines d'application, Limites de la programmation parallèle;
Méthodologies de conception formelle des applications critiques , Approches de vérification formelle, Systèmes de transitions étiquetés, Lotos , Réseaux de Petri


SITW
Option 1 :
Epreuve 1 (2h): Conception de Systèmes d’informations interopérables
Programme : Méthodes de développement de systèmes d’information (MERISE, UML..), Coopération et interopérabilité des Systèmes d’information, Gestion des projets, Processus métier et Web services, Développement des e-applications, Design patterns, Composants et frameworks, Bus de communication (RMI, CORBA, ESB, …).
Epreuve 2 (2h): Techniques des bases de données avancées
Programme : Intégration de données, Interopérabilité des bases de données, Bases de données distribuées, Bases de données Web, Architecture Client/serveur, Ontologies et bases de données, Sécurité des bases de données

Génie Logiciel GL

Option 2 : Génie Logiciel :
Epreuve 1 (2h): Programmation Avancée
Programme : Algorithmes Distribués, Programmation orientée Composant et Paradigmes de programmation.
Epreuve 2 (2h): Génie Logiciel Avancé durée : 2h
Programme : Spécification et Vérification des Systèmes Critiques (Méthodes Formelles pour le G.L), Validation et Vérification, Outils et Méthodes pour l'I.A Méthodes formelles
Techniques de parallélisation, Domaines d'application, Limites de la programmation parallèle;
Méthodologies de conception formelle des applications critiques , Approches de vérification formelle, Systèmes de transitions étiquetés, Lotos , Réseaux de Petri