Remerciez-le!

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

Fiche m1 et m2 logiciels surs 2020 2021

ALTERNANCE INFO RMAT IQUE BAC Inscription Candidature à partir du mois de mars dossier à télécharger ou en ligne sur le site www u-pec fr Rentrée en septembre Durée de la formation ans M heures d ? enseignement M heures d ? enseignement Rythme de l ? alternance - semaine à l ? université - semaine en entreprise Etablissements partenaires UPEC CFA CFA SUP Lieu de formation UPEC - UFR de sciences et technologie Campus Centre av Général de Gaulle Créteil cedex Master Informatique Parcours Logiciels sûrs L ? objectif est de former des étudiants au développement logiciel en leur faisant aborder les di ?érents paradigmes de programmation et méthodes de conception pour les systèmes logiciels réseau et embarqués et leur apprendre à choisir les bons concepts et les méthodologies adaptées au domaine applicatif Ces compétences sont complétées par des modules axés sur la modélisation abstraite Cette dernière est fondamentale pour choisir la représentation des données dans un système d ? information la spéci ?cation des traitements à appliquer aux données ou la spéci ?cation des contraintes du logiciel qui sont nécessaires dans le développement de logiciels sûrs Ces derniers occupent une place fondamentale notamment dans les secteurs critiques transport avionique spatial nucléaire dans lesquels la France est leader mondial La première année introduit les concepts fondamentaux de programmation modélisation et d ? algorithmique Elle prépare aux cours plus spécialisés et technologiques de la seconde année Débouchés Chef de projets informatique - Développeur d ? application - Ingénieur nouvelles technologies de l ? information et la communication - Systémier concepteur de systèmes critiques - Ingénieur méthode qualité - Ingénieur réseaux et internet Contacts Responsables pédagogiques Master - Beno? t Barbot benoit barbot u-pec fr Master - Nihal Pekergin nihal perkergin u-pec fr Référente administrative Asmae Abbad asmae abbad- yazourh u-pec fr Bureau d ? insertion professionnelle baip- sciences u-pec fr À SAVOIR Deux types de contrats en alternance - contrat d ? apprentissage pour les jeunes jusqu ? à ans - contrat de professionnalisation sans condition d ? ? ge formation continue Compétences Le diplômé est capable de - analyser des besoins utilisateurs - analyser les opportunités et la faisabilité technologique de l ? application - élaborer et rédiger des cahiers des charges - concevoir une architecture logicielle - dé ?nir des protocoles et des scenarios de test - intégrer et déployer des solutions - utiliser des normes de sûreté - évaluer des risques pouvant intervenir au cours de la réalisation - dé ?nir des schémas d ? organisation des méthodes de travail des normes et des procédures qualité - élaborer des éléments de chi ?rage besoins humains ?nanciers Contenu pédagogique - Langages de programmation Java J E C phyton ocaml erlang - Outils de modélisation Atelier B Coq Lustre Prism Uppaal - Technologie test temps réel calcul parallèle Public - Master titulaire d ? une licence mention Informatique ? - Master titulaire d ? un master mention Informatique ? ?