PERFECTIONNEMENT DE LA GESTION DES REGLES DE PREUVE DANS ATELIER B

Atelier B est un environnement de développement logiciel intégré (IDE) pour les méthodes formelles B et le B événementiel.

Cette méthode repose sur la preuve des artefacts logiciels. Une partie de l’activité de preuve consiste à définir des règles de preuve qui sont ensuite appliquées par l’intermédiaire d’un assistant de preuve interactif. Dans Atelier B, la gestion de la base de règles de preuve est réalisée au moyen d’un outil appelé OPRGUI. Ce stage a pour mission d’améliorer l’ergonomie de OPRGUI ainsi que son intégration avec l’assistant de preuve interactive.

Objectif du stage : L’objectif est que l’Atelier B fournisse à ses utilisateurs un support pour la gestion de bibliothèques de règles de preuve multi-projets en proposant notamment des fonctions d’archivage, de recherche, et le partage de règles de preuve.

Compétences recherchées :

Programmation C++,

• UX,
• UI,
• Assistants de preuve,