Informatique générale : Méthodes et outils du génie logiciel, en formation à distance (bloc de compétences) - LG025B31FOAD par CNAM DE BRETAGNE

- Conduite d'un projet informatique
- Recherche opérationnelle et aide à la décision

- 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.