Vérification D'architecture Logicielle Par Transformation De Modèles.
Résumé: Ce modeste travail s'inscrit dans le cadre des architectures logicielles à base de composants, le but de ce travail est d'effectué une vérification d'architecture logicielle par transformation de modèle, pour cela nous avons choisi la méthode formelle B comme une technique de vérification et le ATL comme un langage de transformation dans notre projet. Mots-clés : Architecture Logicielle, Composant, Transformation de modèle, techniques de vérification, modèle architectural, ATL.
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".
