Matière: Méthodes de développement formelles
- Information
- Questions
- E-Learning
Enseignant |
Abdelkrim AMIRAT
|
Information |
Master - Génie logiciel
Département d'Informatique
Site web : https://www.univ-soukahras.dz/fr/module/1232
Semestre : S3
Unité : UEF 3.1
Crédit : 6
Coefficient: 3 |
Contenu |
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 |
Evaluation |
|