Modélisation des applications distribuées à architecture dynamique : Conception et Validation
Nos travaux de recherche consistent à apporter des solutions de modélisation conformément à l'approche MDA. Nos recherches consistent à fournir des solutions permettant de guider et d'assister les activités de modélisation des architectures logicielles. Il s'agit principalement de pro...
Main Author: | Hadj Kacem, Mohamed |
---|---|
Language: | FRE |
Published: |
Université Paul Sabatier - Toulouse III
2008
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00354738 http://tel.archives-ouvertes.fr/docs/00/35/47/38/PDF/TheseHKM.pdf |
Similar Items
-
Architectures dynamiques dans le contexte des applications à base de composants et orientées service
by: Guennoun, Mohammed Karim
Published: (2006) -
Modélisation UML/B pour la validation des exigences de sécurité des règles d'exploitation ferroviaires
by: Yangui, Rahma
Published: (2016) -
Un framework formel pour les architectures logicielles dynamiques
by: De Sousa Cavalcante, Everton Ranielly
Published: (2016) -
Un cadre formel pour le développement orienté aspect : modélisation et vérification des interactions dues aux aspects
by: Mostefaoui, Farida
Published: (2012) -
Un cadre formel pour le développement orienté aspect : modélisation et vérification des interactions dues aux aspects
by: Mostefaoui, Farida
Published: (2012)