Aperçu des semaines

• Généralités
  

  Généralités

  • cour info Forum
• 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

          - Connaître les cycles du développement de logiciels
          - 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 

          - Réaliser des transformations de modèles basées sur la transformation de graphes
          - Valider et vérifier formellement des systèmes complexes
  

  • En termes de savoir-être

          - Combiner des méthodes formelles et semi-formelles pour le développement de logiciels sûr
  
• 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

  • Prétests
• 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

  
  

  
  

  • Plan détaillé Fichier
  • programme à enseigner Page
• RDV avec votre enseignant
  

  RDV avec votre enseignant

  • Discuter avec votre enseignant Chat
• Chapitre 1 : Notions sur l’ingénierie des logiciels
  

  Chapitre 1 : Notions sur l’ingénierie des logiciels

  • Chapitre1 en version écran Paquetage SCORM
  • Espaces d’échange
    

  • Question de la semaine Forum
  • Echanger entre vous Chat
  • Support en PDF
    

  • Notions sur l’ingénierie des logiciels Fichier
  • Aides et ressources externes et web
    

  • Aller plus loin Dossier
  • IDL-2021-Chapitre01-Notions sur l’ingénierie des logiciels  Slides Fichier
• Chapitre 2 : Ingénierie Dirigée par les Modèles
  

  Chapitre 2 : Ingénierie Dirigée par les Modèles

  • Chapitre2 en version écran Paquetage SCORM
  • Espaces d’échange
    

  • Question de la semaine Forum
  • Echanger entre vous Chat
  • Support en PDF
    

  • Ingénierie Dirigée par les Modèles Fichier
  • Aides et ressources externes et web
    

  • Aller plus loin Dossier
  • IDL-2021-Chapitre2-IDM-Slides Fichier
  • Activités d’apprentissage
    

  • TP-01- Création dun langage de modélisation des Réseaux de Petri Fichier
  • suis-je prêt à passer l'interrogation le 24 Juin 2022 à 14h00? Sondage

    Répondre à cette question pour programmer l'interogation le 24 Juin à 14h00

• Chapitre 3 : Transformation de Graphes
  

  Chapitre 3 : Transformation de Graphes

  • Chapitre3 en version écran Paquetage SCORM
  • Espaces d’échange
    

  • Question de la semaine Forum
  • Echanger entre vous Chat
  • Support en PDF
    

  • Transformation de Graphes Fichier
  • Aides et ressources externes et web
    

  • Aller plus loin Dossier
  • IDL-2021-Chapitre3-Transformation de Graphes-Slides Fichier
  • Activités d’apprentissage
    

  • TP02- Création dun outil de Transformation des BPMN Vers RdP Fichier
• Chapitre 4 : Méthodes Formelles et ses Applications
  

  Chapitre 4 : Méthodes Formelles et ses Applications

  • Chapitre4 en version écran Paquetage SCORM
  • Espaces d’échange
    

  • Question de la semaine Forum
  • Echanger entre vous Chat
  • Support en PDF
    

  • Méthodes Formelles et ses Applications Fichier
  • Aides et ressources externes et web
    

  • Aller plus loin Dossier
  • IDL-2021-MFA-Chapitre04-Slides Fichier
  • Activités d’apprentissage
    

  • ingenierie des logiciels TD RDP TD 01 Fichier
  • ingenierie des logiciels TD RDP TD02 Fichier
• Chapitre 5 : Introduction à OCL
  

  Chapitre 5 : Introduction à OCL

  • Chapitre5 en version écran Paquetage SCORM
  • Espaces d’échange
    

  • Question de la semaine Forum
  • Echanger entre vous Chat
  • Support en PDF
    

  • Introduction à OCL Fichier
  • Aides et ressources externes et web
    

  • Aller plus loin Dossier
  • IDL-2021-Meghzili-Chapitre05-Slides Fichier
  • Activités d’apprentissage
    

  • TD03-IDL-2021 Fichier
• Test de sortie
  

  Test de sortie

  • Je valide mes apprentissages Test
• Glossaire du cours
  

  Glossaire du cours

  • Glossaire
• Bibliographie
  

  Bibliographie

  • Bibliographies Page
• Participer à l'amélioration du cours
  

  Participer à l'amélioration du cours