THESESENCOURS

  • Ismail BOUASSIDA (Gestion des architectures dynamiques pour l'adaptabilité des applications distribuées coopératives. Application au provisionnement de la qualité de service)
  • Kaouthar FAKHFAKH (Modèles adaptatifs pour la génération de protocoles d’auto-administration pour les systèmes communicants autonomes)
  • Sofien KHEMAKHEM (Un environnement de spécification et de découverte pour la réutilisation des composants logiciels dans le développement des logiciels distribués)
  • Imen LOULOU (Une approche formelle d'aide à la conception et à la validation des architectures logicielles Publier/Souscrire)
  • Nadhmi MILADI (Environnement pour la modélisation et la synthèse de protocoles de coordination pour les applications distribuées coopératives. Approche par raffinement pour la gestion et le déploiement des architectures logicielles dynamiques)