Module: Formal development methods
- Information
- Questions
- E-Learning
Lecturer |
Abdelkrim AMIRAT
|
Information |
Master - Software Engineering
Department of Computer Science
Website : https://www.univ-soukahras.dz/en/module/1232
Semester : S3
Unit : UEF 3.1
Credit : 6
Coefficient: 3 |
Content |
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 |
|