|
[1]
|
Slim Kallel.
Specifying and Monitoring Non-functional Properties.
PhD thesis, Darmstadt University of Technology, July 2011.
[ BibTeX |
PDF ]
|
|
[2]
|
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.
PhD thesis, Université Paul Sabatier, Toulouse-France and
Université de Sfax-Tunisie, Juillet 2011.
[ BibTeX |
PDF ]
|
|
[3]
|
Kaouthar FAKHFAKH.
Approche sémantique basée sur les intentions pour la
modélisation, la négociation et la surveillance des contrats de qualité de
service.
PhD thesis, Université Toulouse 1 &‡ Ecole Nationale
d'Ingénieurs de Sfax, Mai 2011.
[ BibTeX |
PDF ]
|
|
[4]
|
Ismail Bouassida Rodriguez.
Dynamic Software Architecture Management for Collaborative
Communicating Systems.
PhD thesis, Université de Sfax & Université de Toulouse, March
2011.
[ BibTeX |
PDF ]
|
|
[5]
|
Monia Loulou.
Approche Formelle pour la Spécification, la Vérification et
le Déploiement des Politiques de Sécurité Dynamiques dans les
Systèmes à base d'Agents Mobiles.
PhD thesis, Faculté des Sciences Économiques et de Gestion de
Sfax, November 2010.
[ BibTeX |
PDF ]
|
|
[6]
|
Imen Loulou.
P/S-COM : a formal method to design correct Publish/Subscribe
software architectures.
PhD thesis, Faculty of Economic Sciences and Management of Sfax, juin
2010.
[ BibTeX |
PDF ]
|
|
[7]
|
Riadh BEN HALIMA.
Conception, implantation et expérimentation d’une
architecture en bus pour l’auto-réparation des applications distribuées
à base de services Web.
PhD thesis, Université Paul Sabatier, Toulouse-France and
Université de Sfax-Tunisie, juin 2009.
[ BibTeX |
PDF ]
|
|
[8]
|
Amira Regayeg.
A formal Development Methodology of Multi-agent Applications.
PhD thesis, Faculty of Economic Sciences and Management of Sfax, jan
2009.
[ BibTeX |
PDF ]
|
|
[9]
|
Mohamed Hadj Kacem.
Modelling of distributed applications with dynamic
architecture: design and validation.
PhD thesis, LAAS - Toulouse, nov 2008.
[ BibTeX |
PDF ]
|
|
[10]
|
Bechir Zalila.
Configuration et déploiement d'applications temps-réel
réparties embarquées à l'aide d'un langage de description
d'architecture.
PhD thesis, École Nationale Supérieure des
Télécommunications, nov 2008.
[ BibTeX |
PDF ]
|
|
[11]
|
Tarak Chaari.
Adaptation d'applications pervasives dans des environnements
multi-contextes.
PhD thesis, Institut National des Sciences Appliquées de LYON, Sep
2007.
[ BibTeX |
PDF ]
|
|
[12]
|
M. Jmaiel.
Development of Communication Protocols with Algebraic-Temporal
Specifications.
PhD thesis, Department of Computer Science, Technical University of
Berlin, 1996.
[ BibTeX |
PDF ]
|
