Stage - Modernisation Du Generateur D’obligations de Preuve de L’atelier B
il y a 5 jours
Modernisation du générateur d’obligation de preuve d’Atelier B
**Objectif : M**oderniser et simplifier le code source du générateur d’obligations de preuve de telle sorte à minimiser ses dépendances externes tout en tirant partie des évolutions récentes du langage C++.
**Contexte**:
La méthode B est utilisée pour développer formellement des composants logiciels et des modèles de systèmes critiques (B événementiel). Atelier B est un environnement de développement intégré (IDE) pour la méthode B et le B événementiel qui est maintenu et développé par CLEARSY. Atelier B dispose d’un générateur d’obligations de preuve développé en C++ et repose également sur la technologie XSLT et des composants tiers qui ne sont plus supportés.
Le stage est structuré comme suit
- Auto-formation B et Atelier B.
- Mise en place du banc de test qui servira à garantir la compatiblité et l’absence de régressions.
- Migration de la phase de génération des obligations de preuve actuellement définie en XSLT vers une implémentation en C++.
- Migration des interactions avec les formats XML vers la bibliothèque TinyXML2.
**Contraintes technologiques**:
- Le code existant est en large partie développé en C++. Le stagiaire devra savoir naviguer confortablement dans le code existant.
- La documentation devra être rédigée en anglais.
- Le code sera hébergé sur le serveur gitlab de CLEARSY : le stagiaire doit avoir une bonne maîtrise des commandes git, et devra être capable de reconfigurer la procédure d’intégration continue le cas échéant.
**Compétences recherchées**:
- Solides connaissances de C++.
- Familiarité avec les technologies XML et XSLT.
- Exposition antérieure à la logique formelle ou aux méthodes formelles.
**Localisation : Aix-Lyon**
**Durée : 6 mois**
**Niveau : Bac +5**
Pour postuler merci d’envoyer un Cv et une Lettre de motivation à l’adresse:
Type d'emploi : Temps plein, Stage
Durée du contrat : 6 mois
Rémunération : à partir de 900,00€ par mois
Avantages:
- Prise en charge du transport quotidien
Horaires:
- Flextime
- Travail en journée
Lieu du poste : En présentiel
-
Stage - Modernisation Du Generateur D’obligations
Il y a 2 mois
Aix-en-Provence, France CLEARSY Temps pleinModernisation du générateur d’obligation de preuve d’Atelier B **Objectif : M**oderniser et simplifier le code source du générateur d’obligations de preuve de telle sorte à minimiser ses dépendances externes tout en tirant partie des évolutions récentes du langage C++. **Contexte**: La méthode B est utilisée pour développer formellement...
-
Stage -modernisation Fullstack de L’atelier B
Il y a 7 mois
Aix-en-Provence, France CLEARSY Temps plein**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 formelles. Atelier B est en constante évolution pour apporter des améliorations ergonomiques et...
-
Stage -modernisation Fullstack de L’atelier B
Il y a 6 mois
Aix-en-Provence, France CLEARSY Temps plein**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 formelles. Atelier B est en constante évolution pour apporter des améliorations ergonomiques et...
-
Stage - Developpement Workbook Atelier B
Il y a 2 mois
Aix-en-Provence, France CLEARSY Temps pleinDéveloppement d’un workbook pour l’Atelier B et la méthode B **Objectif **:développer un workbook à destination des étudiants découvrant la méthode B et l’Atelier B. **Contexte**: L’environnement technique est: - B pour la modélisation, - le langage de preuve (script, règles mathématiques) du prouveur interactif de l’Atelier B, - C...
-
Stage - Developpement Workbook Atelier B
il y a 5 jours
Aix-en-Provence, France CLEARSY Temps pleinDéveloppement d’un workbook pour l’Atelier B et la méthode B **Objectif**: développer un workbook à destination des étudiants découvrant la méthode B et l’Atelier B. **Contexte**: L’environnement technique est: - B pour la modélisation, - le langage de preuve (script, règles mathématiques) du prouveur interactif de l’Atelier B, - C...
-
Stage - Inference de Types Appliquee Au Langage B
il y a 2 semaines
Aix-en-Provence, France CLEARSY Temps pleinInférence de types appliquée au langage B **Objectif**: Moderniser et améliorer le traitement des types dans Atelier B, par intégration de l’inférence de types dans les outils d’analyse des sources et de génération d’obligation de preuve de l’Atelier B **Contexte**: Atelier B est un environnement de développement pour le langage B. Il...
-
Stage - Inference de Types Appliquee Au Langage B
Il y a 2 mois
Aix-en-Provence, France CLEARSY Temps pleinInférence de types appliquée au langage B **Objectif **:Moderniser et améliorer le traitement des types dans Atelier B, par intégration de l’inférence de types dans les outils d’analyse des sources et de génération d’obligation de preuve de l’Atelier B **Contexte**: Atelier B est un environnement de développement pour le langage B. Il...
-
Modernisation Fullstack de L’atelier B
Il y a 7 mois
Aix-en-Provence, France CLEARSY Temps plein**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 formelles. Atelier B est en constante évolution pour apporter des améliorations ergonomiques et...
-
Modernisation Fullstack de L’atelier B
Il y a 4 mois
Aix-en-Provence, France CLEARSY Temps plein**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 formelles. Atelier B est en constante évolution pour apporter des améliorations ergonomiques et...
-
Stage - Template de Modele B Systeme Pour Du
il y a 4 semaines
Aix-en-Provence, France CLEARSY Temps pleinL’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é d’un cœur,...
-
Stage - Template de Modele B Systeme Pour Du
Il y a 2 mois
Aix-en-Provence, France CLEARSY Temps pleinL’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é d’un cœur,...
-
Stage - Developpement Banc de Tests Automatise
Il y a 6 mois
Aix-en-Provence, France CLEARSY Temps plein**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...
-
Stage - Developpement Banc de Tests Automatise
Il y a 6 mois
Aix-en-Provence, France CLEARSY Temps plein**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...
-
Stage - Developpement Banc de Tests Automatise
il y a 1 mois
Aix-en-Provence, France CLEARSY Temps plein**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...
-
Stage - Developpement Banc de Tests Automatise
Il y a 7 mois
Aix-en-Provence, France CLEARSY Temps plein**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...
-
Stage - Developpement Banc de Tests Automatise
Il y a 4 mois
Aix-en-Provence, France CLEARSY Temps plein**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...
-
Stage - Developpement Banc de Tests Automatise
Il y a 3 mois
Aix-en-Provence, France CLEARSY Temps plein**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...
-
Stage - Developpement Banc de Tests Automatise
Il y a 7 mois
Aix-en-Provence, France CLEARSY Temps plein**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...
-
Stage - Developpement Banc de Tests Automatise
Il y a 6 mois
Aix-en-Provence, France CLEARSY Temps plein**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...
-
Psychologue Clinicien
Il y a 3 mois
Aix-en-Provence, France ASSOCIATION DE PREVENTION ET DE REINSERTION SOCIALE Temps pleinRecherche psychologue clinicien(ne) pour accompagnement, entretien psychologique et animation de stages et groupes de paroles des auteurs de violences conjugales sur le ressort des Tribunaux Judiciaires d'Aix en Provence et de Tarascon (locaux principaux Aix en provence) Nous souhaitons un professionnel de la psychologie avec une sensibilité particulière...