Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Master 1 M1 MIAGE - classique Année universitaire 2021-2022 Information général

Master 1 M1 MIAGE - classique Année universitaire 2021-2022 Information générale Objectifs Responsable(s) MONCEAUX-CACHARD LAURA DELAHAYE BENOIT Mention(s) incluant ce parcours master MIAGE Lieu d’enseignement UFR Sciences et Techniques - Université de NANTES Langues / mobilité internationale Stage / alternance Stage de 4 mois (mi-avril à fin août) Poursuite d’études /débouchés Autres renseignements Conditions d'obtention de l'année Notes Plancher pour tous les modules : 8 / 20 Notes Plancher pour le bloc Professionnalisation incluant les quatre modules Professionnalisation (mémoire et projet) : 10/20 Notes Plancher pour le stage : 10/20 Notes Plancher pour deux blocs info et gestion : 10/20 avec comme blocs à définir : Bloc info incluant les modules - Méthodes Formelles pour le développement logiciel, - Données sur le Web, - Ingénierie des Réseaux - Offre de BI et de Big Data - Ingénierie Logicielle - Développement d'applications pour le CLOUD - Web des données et des connaissances Bloc gestion incluant les modules - Gestion des projets - Finance d'entreprise - Jeu d'Entreprise - Maths financières et politique de financement - Management d'équipe - Droit de l'informatique Programme 1 er SEMESTRE Code ECTS CM CI TD TP Distanciel Total Groupe d'UE : Groupe UE Fondamentales (20 ECTS) Méthodes formelles pour le développement logiciel X1IM010 3 12 0 20 8 6 46 Droit des TIC (Technologies de l'Information et de la Communication) X1IM090 2 13 0 27 0 5 45 Techniques de Communication X1IM080 1 0 0 0 16 3 19 Anglais X1IM070 1 0 0 0 15 3 18 Offre de BI et Big Data X1IM060 2 12 0 12 16 5 45 Gestion des projets X1IM050 2 12 0 18 10 5 45 Finance d'entreprise X1IM040 2 13 0 27 0 5 45 Ingénierie des Réseaux X1IM030 2 12 0 16 12 5 45 Données sur le web X1IM020 2 12 0 20 8 6 46 Développement d'applications sur le CLOUD X1IM100 3 12 0 8 20 6 46 Groupe d'UE : Groupe UEF Professionnalisation (10 ECTS) Professionnalisation - Mémoire X1IM110 6 0 0 0 0 0 0 Professionnalisation Projet X1IM120 4 0 0 0 0 0 0 Groupe d'UE : UEL (0 ECTS) Anglais Préparation TOEIC X1LA010 0 0 0 0 0 0 0 Total 30 49.00 400.00 2 ème SEMESTRE Code ECTS CM CI TD TP Distanciel Total Groupe d'UE : Groupe UE Fondamentales (10 ECTS) Anglais X2IM010 1 0 0 0 15 3 18 Ingénierie Logicielle X2IM020 2 12 0 20 8 6 46 Web des données et des connaissances X2IM030 2 6 0 10 4 3 23 Jeu d'entreprise X2IM040 1 4 0 4 16 3 27 Maths Financières et politique de financement X2IM050 3 13 0 33 10 5 61 Management d'équipe X2IM060 1 0 0 0 24 5 29 Groupe d'UE : Groupe UEF Professionnalisation (20 ECTS) Professionnalisation - Mémoire X2IM070 3 0 0 0 0 0 0 STAGE X2IM080 15 0 0 0 0 0 0 Professionnalisation Projet X2IM090 2 0 0 0 0 0 0 Total 30 25.00 204.00 Modalités d’évaluation Mention Master 1ère année Parcours : M1 MIAGE - classique Année universitaire 2021-2022 Responsable(s) : MONCEAUX-CACHARD LAURA, DELAHAYE BENOIT REGIME ORDINAIRE PREMIERE SESSION DEUXIEME SESSION TOTAL Contrôle continu Examen Contrôle continu Examen Coeff. ECTS CODE UE INTITULE UE non dipl. écrit prat. oral écrit prat. oral durée ecrit prat. oral écrit prat. oral durée Groupe d'UE : Groupe UE Fondamentales 1 X1IM010 Méthodes formelles pour le développement logiciel N obligatoire 3 1 2 3 3 1 X1IM090 Droit des TIC (Technologies de l'Information et de la Communication) N obligatoire 2 0.67 1.33 2 2 1 X1IM080 Techniques de Communication N obligatoire 0.4 0.6 0.25 0.25 0.5 1 1 1 X1IM070 Anglais N obligatoire 0.4 0.6 0.25 0.25 0.5 1 1 1 X1IM060 Offre de BI et Big Data N obligatoire 2 0.67 1.33 2 2 1 X1IM050 Gestion des projets N obligatoire 2 0.67 1.33 2 2 1 X1IM040 Finance d'entreprise N obligatoire 2 0.67 1.33 2 2 1 X1IM030 Ingénierie des Réseaux N obligatoire 2 0.67 1.33 2 2 1 X1IM020 Données sur le web N obligatoire 2 0.67 1.33 2 2 1 X1IM100 Développement d'applications sur le CLOUD N obligatoire 3 1 2 3 3 Groupe d'UE : Groupe UEF Professionnalisation 1 X1IM110 Professionnalisation - Mémoire N obligatoire 6 6 6 6 1 X1IM120 Professionnalisation Projet N obligatoire 2 2 2 2 4 4 Groupe d'UE : UEL 1 X1LA010 Anglais Préparation TOEIC O optionnelle 0 0 Groupe d'UE : Groupe UE Fondamentales 2 X2IM010 Anglais N obligatoire 0.4 0.6 0.25 0.25 0.5 1 1 2 X2IM020 Ingénierie Logicielle N obligatoire 2 0.67 1.33 2 2 2 X2IM030 Web des données et des connaissances N obligatoire 2 0.67 1.33 2 2 2 X2IM040 Jeu d'entreprise N obligatoire 1 0.33 0.67 1 1 2 X2IM050 Maths Financières et politique de financement N obligatoire 3 1 2 3 3 2 X2IM060 Management d'équipe N obligatoire 1 0.33 0.67 1 1 Groupe d'UE : Groupe UEF Professionnalisation 2 X2IM070 Professionnalisation - Mémoire N obligatoire 3 3 3 3 2 X2IM080 STAGE N obligatoire 5 5 5 5 5 5 15 15 2 X2IM090 Professionnalisation Projet N obligatoire 1 1 1 1 2 2 TOTAL 60 60 A la seconde session, les notes de contrôle continu correspondent à un report des notes de CC de la première session. DISPENSE D'ASSIDUITE PREMIERE SESSION DEUXIEME SESSION TOTAL Contrôle continu Examen Contrôle continu Examen Coeff. ECTS CODE UE INTITULE UE non dipl. écrit prat. oral écrit prat. oral durée ecrit prat. oral écrit prat. oral durée Groupe d'UE : Groupe UE Fondamentales 1 X1IM010 Méthodes formelles pour le développement logiciel N obligatoire 3 3 3 3 1 X1IM090 Droit des TIC (Technologies de l'Information et de la Communication) N obligatoire 2 2 2 2 1 X1IM080 Techniques de Communication N obligatoire 1 1 1 1 1 X1IM070 Anglais N obligatoire 1 1 1 1 1 X1IM060 Offre de BI et Big Data N obligatoire 2 2 2 2 1 X1IM050 Gestion des projets N obligatoire 2 2 2 2 1 X1IM040 Finance d'entreprise N obligatoire 2 2 2 2 1 X1IM030 Ingénierie des Réseaux N obligatoire 2 2 2 2 1 X1IM020 Données sur le web N obligatoire 2 2 2 2 1 X1IM100 Développement d'applications sur le CLOUD N obligatoire 3 3 3 3 Groupe d'UE : Groupe UEF Professionnalisation 1 X1IM110 Professionnalisation - Mémoire N obligatoire 6 6 6 6 1 X1IM120 Professionnalisation Projet N obligatoire 2 2 2 2 4 4 Groupe d'UE : UEL 1 X1LA010 Anglais Préparation TOEIC O optionnelle 0 0 Groupe d'UE : Groupe UE Fondamentales 2 X2IM010 Anglais N obligatoire 1 1 1 1 2 X2IM020 Ingénierie Logicielle N obligatoire 2 2 2 2 2 X2IM030 Web des données et des connaissances N obligatoire 2 2 2 2 2 X2IM040 Jeu d'entreprise N obligatoire 1 1 1 1 2 X2IM050 Maths Financières et politique de financement N obligatoire 3 3 3 3 2 X2IM060 Management d'équipe N obligatoire 1 1 1 1 Groupe d'UE : Groupe UEF Professionnalisation 2 X2IM070 Professionnalisation - Mémoire N obligatoire 3 3 3 3 2 X2IM080 STAGE N obligatoire 5 5 5 5 5 5 15 15 2 X2IM090 Professionnalisation Projet N obligatoire 1 1 1 1 2 2 TOTAL 60 60 A la seconde session, les notes de contrôle continu correspondent à un report des notes de CC de la première session. Description des UE X1IM010 Méthodes formelles pour le développement logiciel Lieu d’enseignement Niveau Master Semestre 1 Responsable de l’UE DELAHAYE BENOIT Volume horaire total TOTAL : 46h Répartition : CM : 12h TD : 20h CI : 0h TP : 8h EAD : 6h Place de l’enseignement UE pré-requise(s) S5 I - Ingénierie des exigences (L3 informatique parcours MIAGE) S5 I - Langages (informatiques) et compilation (L3 informatique parcours MIAGE) S5 I - Expressions relationnelles et automates finis (L3 informatique parcours MIAGE) S6 I - Conception et analyse d'algorithmes (L3 informatique parcours MIAGE) Parcours d’études comprenant l’UE M1 MIAGE - classique Evaluation Pondération pour chaque matière Méthodes formelles pour le développement logiciel 100% Obtention de l’UE Programme Objectifs (résultats d'apprentissage) La spécification formelle des SI - Expliquer l’intérêt de la spécification formelle - Pratiquer un ou plusieurs langages de spécification formelle - Vérifier les spécifications formelles à travers des outils Modèle orienté objets - Présenter les principes d’un modèle orienté objet (type abstrait, encapsulation, délégation, ...) - Traduire une spécification avec les concepts de base orienté objets (objet, classe, envoi de message, héritage et polymorphisme) - Expliquer les notions de liaison dynamique, surcharge... et les reconnaître Programmation - Traduire un algorithme dans un langage de programmation (syntaxe et sémantique) - Utiliser les bibliothèques standard d’un ou plusieurs langages de programmation - Tester et corriger un programme Les méthodes d’analyse et de conception de SI - Pratiquer un ou plusieurs outils logiciels pour la mise en œuvre des méthodes - Savoir mettre en œuvre un modèle réalisé (implémentation du système) - Savoir évaluer la qualité d’un modèle uploads/Management/ m1-miage-classique-2021-2022.pdf