Weekly outline
- General
- Fiche-contact
Fiche-contact
- Enseignant de la matière : Said MEGHZILI
- Contact : par mail au s.meghzili@univ-mila.dz
- Disponibilité au bureau : Dimanche, lundi, jeudi de 11h00 -12h00
- Coefficient :3
- Crédits : 5
- Volume horaire global : 63 Heurs
- Volume horaire de travail personnel requis/semaine: 14 semaines
- Modalité d’évaluation: 60 % examen final et 40 % évaluation continue
- Modalité de suivi (calendrier du tutorat): lundi de 9h à 11h
- Compétences visées
Compétences visées
A l'issu de cet enseignement, l'étudiant sera capable :
- En termes de savoir
- Comprendre les principes de l'approche MDA pour le développement d'applications
- Maîtriser la conception formelle des systèmes complexes- En termes de savoir-faire
- Valider et vérifier formellement des systèmes complexes- En termes de savoir-être
- Pré-requis
Pré-requis
Il est recommandé aux étudiants de connaître :
- Notions sur le génie logiciel
- Concepts de base de la théorie des langages
- Grandes lignes du cours
Grandes lignes du cours
Chapitre 01 : Notions sur l’ingénierie des logiciels
Chapitre 02 : Ingénierie Dirigée par les Modèles
Chapitre 03 : Transformation de Graphes
Chapitre 04 : Méthodes Formelles et ses Applications
Chapitre 05 : Introduction à OCL
- RDV avec votre enseignant
- Chapitre 1 : Notions sur l’ingénierie des logiciels
Chapitre 1 : Notions sur l’ingénierie des logiciels
Espaces d’échange
Support en PDF
Aides et ressources externes et web
- Chapitre 2 : Ingénierie Dirigée par les Modèles
Chapitre 2 : Ingénierie Dirigée par les Modèles
Espaces d’échange
Support en PDF
Aides et ressources externes et web
Activités d’apprentissage
Répondre à cette question pour programmer l'interogation le 24 Juin à 14h00
- Chapitre 3 : Transformation de Graphes
Chapitre 3 : Transformation de Graphes
Espaces d’échange
Support en PDF
Aides et ressources externes et web
Activités d’apprentissage
- Chapitre 4 : Méthodes Formelles et ses Applications
Chapitre 4 : Méthodes Formelles et ses Applications
Espaces d’échange
Support en PDF
Aides et ressources externes et web
Activités d’apprentissage
- Chapitre 5 : Introduction à OCL
Chapitre 5 : Introduction à OCL
Espaces d’échange
Support en PDF
Aides et ressources externes et web
Activités d’apprentissage
- Test de sortie
- Glossaire du cours
- Bibliographie
- Participer à l'amélioration du cours