MODERNISATION FULLSTACK DE L’ATELIER B

Amélioration et modernisation du code source de l’outil Atelier B

Objectif : 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 fonctionnelles autour d’un noyau stable de fonctionnalités. Les différentes briques logicielles composant Atelier B ont été développées en C et C++ pour le back-end et Qt pour le front-end.

Dans le cadre de l’amélioration continue de la qualité logicielle, CLEARSY souhaite améliorer et moderniser le code source d’Atelier B en adoptant notamment des évolutions récentes du langage C++ ainsi qu’en mettant en enrichissant les processus associés d’intégration continue.

Livrables attendus :

• Nouvelle version d’Atelier B, modernisée, corrigée et épurée
• Documentation des processus de gestion de la configuration d’Atelier B
• Procédure gitlab d’intégration continue améliorée

Compétences recherchées :

• Architectures logicielles et design patterns OO
• CI/CD sous Girlab
• C++ et Qt
• Git
• Rigueur, autonomie, force de propositions
• Bonnes capacités d’expression écrite et orale

Pour postuler merci d’envoyer un CV et une Lettre de motivation à l’adresse stages-ingenieurs@clearsy.com