researResearch - Télécom Bretagne

esearc
researResearch
Publications
Articles in peer-review journals
[1] Meriem Belguidoum, Fabien Dagnat. Formalization of component
substitutability. Electronic notes in theoretical computer science,
juin 2008, vol. 215, pp. 75-92
Thesis
[2] Meriem Belguidoum. Conception d'une infrastructure pour un
déploiement sûr et flexible des composants logiciels. Th. doct. : Informatique
: Institut Télécom ; Télécom Bretagne : 2008,
2008telb0060. 234 p.
[3] Eveline Kabore. Contribution to the automation of a communication
abstraction onstruction processà l'automatisation d'un processus
de construction d'abstractions de communication par
transformations successives de modèles. Th. doct. : Informatique:
Institut télécom ; Télécom Bretagne : 2008, 2008telb0074. 225 p.
[4] François Mekerke. Structuration de modèles orientés métiers
pour les systèmes embarqués : composants de modélisation et métamodélisation
exécutable comme support des méthodologies de
développement des systèmes embarqués. Th. doct. : Informatique:
Institut Télécom ; Télécom Bretagne, Ministère de la défense; DGA :
délégation générale de l'armement, Université de Rennes 1 : 2008,
2008telb0073. 176 p.
84