Sciences, Technologies, Santé Mention Informatique Spécialité Conception et Développement de Logiciels Sûrs

Le titulaire de ce diplôme est un spécialiste de la conception, du développement, de la validation et de la maintenance d’applications logicielles complexes, qu’elles soient embarquées, parallèles, mobiles ou réparties. De niveau ingénieur il assume des activités de recensement des besoins, de modélisation, de réalisation et de maintenance, de vérification et de validation et de mise en exploitation d’applications logicielles répondant aux besoins exprimés par des utilisateurs dans des cahiers des charges. Après quelques années d’expérience, il peut assumer des fonctions de chef de projet informatique et de consultant. Il est doté d’une excellente culture sur les méthodes, les techniques et les technologies de pointe en informatique. Il maîtrise le cycle de développement du logiciel et les méthodes associées, notamment l’agilité. Il a de fortes compétences dans les domaines des méthodes de modélisation (UML/OCL, diagrammes état-transition, modélisation de bases de données), des langages de programmation comme Java et C++ et des langages d’annotation associés (JML et ACSL), des méthodes et des outils de développement collaboratif en équipe projet, des méthodes et des outils de vérification, des méthodes et des outils du test. Il connaît également les technologies de l'Internet, des systèmes d’information et du développement logiciel mobile et embarqué.

Le diplômé est capable de : - Maîtriser le développement logiciel, depuis la phase de conception jusqu’à la phase de mise en exploitation en passant par les phases de réalisation et de test. - Recueillir des besoins à partir de méthodes ou d’ateliers de spécification et à leur représentation sous forme de modèles. - Concevoir des architectures logicielles et de solutions algorithmiques pour des applications complexes. - Développer dans des environnements variés (C, C++, Java) de solutions incluant des aspects d’interface homme-machine, d’intelligence artificielle ou d’algorithmique avancée. - Valider le logiciel par élaboration de jeux de test en utilisant d’une part des outils automatisant la production et l’exécution des tests et d’autre part des outils de vérification de modèles servant à la génération automatique des tests. *