Approche de transformation et vérification des architectures logicielle
| dc.contributor.author | KHOMS, SalahEddine | |
| dc.date.accessioned | 2018-02-19T08:18:28Z | |
| dc.date.available | 2018-02-19T08:18:28Z | |
| dc.date.issued | 2013 | |
| dc.description.abstract | 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. | en_US |
| dc.identifier.uri | https://repository.univ-msila.dz/handle/123456789/2924 | |
| dc.language.iso | fr | en_US |
| dc.publisher | UNIVERSITE MOHAMED BOUDIAF M’SILA : FACULTE DES MATHEMATIQUES ET DE L’INFORMATIQUE : Département d’Informatique | en_US |
| dc.subject | IDM, MDA, EMF, ATL, model transformation, architecture logicielle, composant. | en_US |
| dc.title | Approche de transformation et vérification des architectures logicielle | en_US |
| dc.type | Thesis | en_US |