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