Une Approche Mda Pour La Transformation Des Statecharts Vers B En Utilisant Tgg
Résumé: les diagramme état-transition défint differents états d'un objet au cours de sa dureé de vie et ces états sont modifiés par des événements .néanmoins les notations orientées objet ne sont pas formalisées et manquent de bases fiables pour l'analyse et la vérification des application .Pour surmonter à ce probléme nous proposons une solution pour transformer le diagramme état-transtion vers des méthodes formelles .enparticulier laméthode B.Notre objectif est de transformer statechart en B.Cette automatisation est réalisée par les régles de TGG.
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".
