أطروحات الدكتوراه
العنوان المؤلف
Une approche de transformation des diagrammes UML vers les spécifications B
سيد علي رحاب
Formalisation et analyse des processus BPEL temporellement temporisés par l’utilisation des modèles de temps
Chama Imed Eddine
Approche bio-inspirées pour la résolution du problème de coloration de graphes
Djelloul Halima
Vérification Logique des Systèmes Temps Réel dans le Contexte de la Sémantique de Maximalité
Guellati Souad
نهج متعدد الوكلاء لتصميم أنظمة الذكاء الاصطناعي المحيط: نموذج منهجي مبني على التخطيط والتعلم
أحمد شوقي شاوش
Caractérisation des performances des systèmes Concurents dans le contexte de la sémantique de maximalité
Arous Mokdad
Intelligence computationnelle pour les problèmes de routage adaptatif efficace en énergie et multicritères dans les réseaux mobiles Ad-Hoc
Chettibi Saloua
Test formel des systèmes temps réel stochastiques basé sur la sémantique de maximalité
كنزة بوعروج
Une approche de composition de services Web à l’aide des réseaux de Petri orientés objet
Chemaa Sofiane
Une approche de composition de services Web basée transformation de graphes
Bachtarzi Fayçal
Des diagrammes UML 2.0 vers les diagrammes orientés aspect à l’aide de transformation de graphes
Aouag Mouna
Une approche de spécification des changements de besoins basée transformations de graphes
Khalfaoui Khaled
Résolution de problèmes d’optimisation combinatoire par les algorithmes du calcul évolutionnaire
Sabba Sara
Un cadre formel pour la modélisation et l'analyse des agents mobiles
Dehimi Nardjes-Tessilia
Une approche basée transformation de graphes pour la génération de modèles de réseaux de Petri analysables à partir de diagrammes UML
Bouarioua Mouna
Vérification comportementale des systèmes temporisés : Approches de Maximalité
Benamira Adel
Méthodes bio-inspirés hybrides pour la résolution des systemes complexes
السعيد لعابد
Méthodes de résolution de problèmes difficiles académiques
Gherboudj Amira
Modèles et algorithmes pour le test des systèmes temps réel
إلهام قيطوني
Test formel des systèmes temps réel : Approche de transformation de graphes
Hachichi Hiba