Méthodes et outils du génie logiciel

Code Stage : LG025B31

Code CPF

238167

Publics et conditions d'accès

Conditions d'accès
Avoir un niveau bac +2 en informatique

Objectifs

Objectif général
Perfectionnement, élargissement des compétences

• Appliquer des approches raisonnées de résolution de problèmes complexes par décompositions et/ou approximations successives et mettre en œuvre des méthodes d’analyse pour concevoir des applications et algorithmes à partir d’un cahier des charges partiellement donné.
• Se servir aisément de plusieurs styles/paradigmes algorithmiques et de programmation (approches impérative, fonctionnelle, objet et multitâche) ainsi que plusieurs langages de programmation.
• Concevoir le traitement informatisé d’informations de différentes natures, telles que des données, des images et des textes.
• Caractériser le rôle des tests et des preuves de correction dans le développement des logiciels et mettre en œuvre des tests élémentaires et des invariants de boucle.
• Expliquer et documenter la mise en œuvre d'une solution technique.
• Concevoir, implémenter et exploiter des bases de données.
• Caractériser les outils logiques et algébriques fondamentaux (théorie des langages et de la compilation, logique et raisonnement, ordres, induction) et leurs implications dans la programmation et la modélisation.
• Construire et rédiger une démonstration mathématique synthétique et rigoureuse.
• Utiliser un logiciel de calcul formel ou scientifique.

Modalités de validation
Mise en situation professionnelle, travail écrit

Programme

Au choix 1 cours de programmation et 1 cours de modélisation
Un module à choisir parmi :

Spécification logique et validation des programmes séquentiels
Programmation Fonctionnelle : des concepts aux applications web
Programmation avancée
Génie logiciel
Conduite d'un projet informatique

Un module à choisir parmi :
Modélisation, optimisation, complexité et algorithmes
Recherche opérationnelle et aide à la décision

Contact

Contactez votre centre Cnam

Centre(s) d'enseignement