Approche De Transformation Et Vérification Des Architectures Logicielle
Résumé: L’aspect clé de conception du système logiciel, dans son plus haut niveau, est son architecture globale dans lequel le système se présente comme un ensemble de composants et d’interconnexions qui les relient. Pour décrire une architecture logicielle les auteurs utilisent ce qu’on appelle les ADL (Architecture Description Language), le langage UML et d’autres techniques. Nous cherchons dans ce travail de fournir un outil basé sur EMF pour la description des AL. Cet outil utilise un ensemble de règles ATL pour la transformation des AL en XML.
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!