MODERNISATION FULLSTACK DE L’ATELIER B

Objectif du stage : Travaux de développement et d’évolutions 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 enrichissant les processus d’intégration continue associés.

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 Gitlab
• C++ et Qt
• Git
• Rigueur, autonomie, force de proposition
• Bonnes capacités d’expression écrite et orale