Stage - Developpement Logiciel D’un Outil de

**Objectif du stage** : Développement d’un outil de génération de données sécuritaire, destiné à l’industrie ferroviaire. Les concepteurs de systèmes ferroviaires sont amenés à générer de grandes quantités de données à partir de la topologie des voies. Ces données générées sont des données de configurations pour différents...

**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étiers contenues dans des fichiers graphiques contenant des plans techniques tels que des schémas...

**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étiers contenues dans des fichiers graphiques contenant des plans techniques tels que des schémas...

**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étiers contenues dans des fichiers graphiques contenant des plans techniques tels que des schémas...

Description de l'entreprise Ref : STG-TA-AIX-24-P45-4 Vous avez le souhait de travailler au sein d’un collectif, dans une entreprise française à taille humaine, à la pointe des technologies ? Portée par près de 2000 collaborateurs répartis sur 8 sites implantés dans tout l’hexagone, TechnicAtome conçoit les réacteurs nucléaires compacts des...

Req ID:399138 À la tête des entreprises qui s’engagent vers un avenir plus vert, Alstom développe et commercialise des solutions de mobilité qui apportent les fondements durables pour l'avenir des transports. Notre portefeuille de produits s'étend des trains à grande vitesse, métros, monorails et tramways jusqu’aux systèmes intégrés, services...

Req ID:399138 À la tête des entreprises qui s’engagent vers un avenir plus vert, Alstom développe et commercialise des solutions de mobilité qui apportent les fondements durables pour l'avenir des transports. Notre portefeuille de produits s'étend des trains à grande vitesse, métros, monorails et tramways jusqu’aux systèmes intégrés, services...

**Le Bureau d’études KN SYSTEMES, filiale de SERMA INGENIERIE, est spécialisé dans le développement d’équipements embarqués pour les secteurs à fortes contraintes (aéronautique, spatial, ferroviaire, maritime, etc ). Notre équipe développe des produits à partir d’une spécification client jusqu’à la mise en production.** Dans le cadre du...

**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étiers contenues dans des fichiers graphiques contenant des plans techniques tels que des schémas...

**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 logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...

**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 logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...

**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 logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...

**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 logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...

**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 logicielle correspond à sa spécification, exprimée dans un langage formel. L'Atelier B est formé...

**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 logicielle correspond à sa spécification, exprimée dans un langage formel. L'Atelier B est formé...

**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 logicielle correspond à sa spécification, exprimée dans un langage formel. L'Atelier B est formé...

**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 logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...

**Bertin Technologies** s’appuie sur sa longue expérience d’ingénierie et d’innovation pour développer, produire et commercialiser dans le monde entier des systèmes et des instruments de pointe. Rejoignez nos 500 collaborateurs pour participer à notre développement ambitieux ! Avec un chiffre d’affaires de 78 millions en 2020, nous répondons...

**Stage Développement de kits de démonstration embarqué** **Entreprise**: PICODEV développe des logiciels embarqués sur mesure pour rendre vos objets et leurs écosystèmes intelligents et communicants. Notre approche globale nous permet ainsi de vous accompagner sur toutes les phases de conception de votre projet. Afin d’accompagner notre...

**Stage Développement de kits de démonstration embarqué** **Entreprise**: PICODEV développe des logiciels embarqués sur mesure pour rendre vos objets et leurs écosystèmes intelligents et communicants. Notre approche globale nous permet ainsi de vous accompagner sur toutes les phases de conception de votre projet. Afin d’accompagner notre...