المقياس: Méthodes de développement formelles
- معلومات
- الأسئلة
- التعليم عن بعد
المحاضر |
عبد الكريم عميرات
|
معلومات |
ماستر - هندسة برمجية
قسم الإعلام الآلي
الموقع : https://www.univ-soukahras.dz/ar/module/1232
السداسي : S3
الوحدة : UEF 3.1
الدين : 6
المعامل: 3 |
المحتوى |
Concepts fondamentaux du développement du logiciel par aspects
Le modèle AspectJ : langage et développement sous Eclipse/AJDT
fondements théoriques des aspects : méthodes formelles pour la définition de leur
sémantique et le raisonnement sur leur propriétés
Langages d\'aspects et leur implémentation
Composants logiciels vs. aspects
Modèles d\'aspects pour la programmation distribuée et concurrente
Etude d\'applications, en particulier, industrielles |
التقييم |
|