Réalisation D'un Outil De Transformation Automatique De Diagrammpe De Classes Uml En Focalize
Résumé: تحقيق أداة للتحويل التلقائي لمخططات الأقسام من UML إلى FoCaLiZe"L’Unified Modeling Language (UML) est progressivement devenu le standard de fait pour la modélisation de systèmes logiciels à l'aide de méthodes orientées objet. Cependant, malgré sa richesse, la sémantique de ce langage est encore informelle et mal définie, ce qui rend difficile l'utilisation directe de méthodes formelles. D'autre part, FoCaLiZe est un environnement de développement formel orienté objet qui permet la mise en œuvre d'applications certifiées. Cette méthode appartient au cadre de l'Ingénierie des Modèles (IDM, "" Ingénierie Dirigée par les Modèles ""), qui vise de produire des logiciels par affinement automatiques de modèles, des spécifications abstraites aux implémentations concrètes. Dans ce mémoire, nous envisageons la réalisation d’un outil de transformation automatique de diagramme de classes UML en FoCaLiZe . L'implémentation proposée supporte directement la plupart des fonctionnalités d’UML telles que l'héritage, l'héritage multiple, la dépendance, le Template UML et le Template binding etc. Nous illustrons notre implémentation par des exemples concrets. "
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".
