Vérification D’une Approche Basée Transformation De Graphes En Idm
Résumé: L’ingénierie dirigée par les modèles a permis plusieurs améliorations significatives dans le développement de systèmes complexes en permettant de se concentrer sur une préoccupation plus abstraite que la programmation classique. Il s’agit d’une forme d’ingénierie générative dans laquelle tout ou partie d’une application est engendrée à partir de modèles. L’IDM se focalise sur l’exploitation de modèles, méta-modèles, et la transformation de modèle qui définit l’automatisation qui peut être utilisé dans le processus de développement de logiciels. Afin d’assurer la qualité du produit final, Il est donc nécessaire d’augmenter la vérification d’une telle transformation de modèles. L’objectif principal de notre travail est de définir un modèle de transformation, afin de vérifier la consistance de la transformation entre les diagrammes de communications orienté objet et les diagrammes de communications orienté aspect en utilisant l’outil USE et le langage OCL.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
