zahoo2012
2012-11-10, 22:56
يا خاوتي من فضلكم أي واحد يقدر يساعدني بدروس و الا اختبارات جامعة منتوري في المجال التالي
Génie Logiciel GL
Option 2 : Génie Logiciel :
Epreuve 1 : Programmation Avancée
Programme : Algorithmes Distribués, Programmation orientée Composant et Paradigmes de programmation.
Epreuve 2 : 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
Génie Logiciel GL
Option 2 : Génie Logiciel :
Epreuve 1 : Programmation Avancée
Programme : Algorithmes Distribués, Programmation orientée Composant et Paradigmes de programmation.
Epreuve 2 : 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