Méthodes et outil du génie logiciel

• Appliquer des approches raisonnées de résolution de problèmes complexes par décompositions et/ou approximations successives et mettre en oeuvre 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 oeuvre des tests élémentaires et des invariants de boucle. • Expliquer et documenter la mise en oeuvre 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.

Total de 12 ECTS (au choix 1 cours de programmation et 1 cours de modélisation) Une unité à choisir parmi : (6 ECTS) NFP120 - Spécification logique et validation des programmes séquentiels / 6 ECTS NFP119 - Programmation Fonctionnelle : des concepts aux applications web / 6 ECTS NFP121 - Programmation avancée / 6 ECTS GLG105 - Génie logiciel / 6 ECTS NSY115 - Conduite d'un projet informatique / 6 ECTS Une unité à choisir parmi : (6 ECTS) RCP105 - Modélisation, optimisation, complexité et algorithmes / 6 ECTS RCP101 - Recherche opérationnelle et aide à la décision / 6 ECTS

Elargissement de compétences en génie logiciel

Avoir un niveau bac +2 en informatique