Objectif du stage :Faire évoluer l’interface graphique de l’outil CLEARSY Diagram Editor en vue d’améliorer l’expérience utilisateur et l’architecture du logiciel. CLEARSY Diagram Editor est un outil qui permet de numériser les informations méti…

Objectif du stage :Travaux de développement et d’évolution sur un outil de preuve formelle. Atelier B est un environnement graphique de développement de logiciel avec la méthode B, une méthode de développement logiciel basée sur les méthodes formelle…

Objectif du stage :L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation …

Ce Que Nous Vous Proposons : Rejoindre une PME de 150 personnes réparties sur 4 sites : AIX, LYON, PARIS, STRASBOURG, pour laquelle les valeurs humaines sont très importantes. Une montée en compétences via : des formations multiples, un encadrement par des…

Ce Que Nous Vous Proposons : Rejoindre une PME de 150 personnes réparties sur 4 sites : AIX, LYON, PARIS, STRASBOURG, pour laquelle les valeurs humaines sont très importantes. Une montée en compétences via : des formations multiples, un encadrement par des…

Ce Que Nous Vous Proposons : Rejoindre une PME de 150 personnes réparties sur 4 sites : AIX, LYON, PARIS, STRASBOURG, pour laquelle les valeurs humaines sont très importantes. Une montée en compétences via : des formations multiples, un encadrement par des…

Ce Que Nous Vous Proposons : Rejoindre une PME de 150 personnes réparties sur 4 sites : AIX, LYON, PARIS, STRASBOURG, pour laquelle les valeurs humaines sont très importantes. Une montée en compétences via : des formations multiples, un encadrement par des…