Approche de transformation et vérification des architectures logicielle

SalahEddine Khoms, رباح مختارى

كلية الرياضيات والاعلام الآلي-جامعة محمد بوضياف - المسيلة · الجزائر

الموضوعات

علوم بحتة وطبيعية

الملخص

L’aspect clé de conception du système logiciel, dans son plus haut niveau, est son architectureglobale dans lequel le système se présente comme un ensemble de composants et d’interconnexionsqui les relient.Pour décrire une architecture logicielle les auteurs utilisent ce qu’on appelle les ADL (ArchitectureDescription Language), le langage UML et d’autres techniques. Nous cherchons dans ce travail defournir un outil basé sur EMF pour la description des AL. Cet outil utilise un ensemble de règles ATLpour la transformation des AL en XML.

روابط وملفات

الوثيقة في المستودع الخارجي عرض في AskZad

التعريف والنوع

رقم الوثيقة: eba9c9b7-3b09-40e3-b052-ea14a1cbca69
رقم العقد: 0
نوع الوسائط: Crawler
نوع المحتوى: الرسائل العلمية
صيغة المصدر: ماستر (LMD)
نوع الملف: pdf text
أسماء الملفات: 191926_1.pdf

بيانات النشر

ألقاب المؤلفين: [{"name_ar":" SalahEddine Khoms","title_ar":"اعداد","title_en":"Preparation"},{"name_ar":"رباح مختارى","title_ar":"اشراف","title_en":"Supervision"}]
اللغة: French

المصدر والدورية

اسم المصدر: Approche de transformation et vérification des architectures logicielle

المحتوى والصفحات

عدد الصفحات: 0

إشراف وإعداد

الإشراف: رباح مختارى
الإعداد: SalahEddine Khoms

الاقتباسات الببليوغرافية

APA

SalahEddine Khoms و رباح مختارى. (2013). Approche de transformation et vérification des architectures logicielle. أطروحة(ماستر (LMD)). كلية الرياضيات والاعلام الآلي-جامعة محمد بوضياف - المسيلة. الجزائر.

MLA

SalahEddine Khoms و رباح مختارى. Approche de transformation et vérification des architectures logicielle. 2013. كلية الرياضيات والاعلام الآلي-جامعة محمد بوضياف - المسيلة، ماستر (LMD).