CREATION D’UNE API DE GESTION DE PROJETS DE DEVELOPPEMENT AVEC LA METHODE B

Création d’une API de gestion de projets de développement avec la méthode B

INFERENCE DE TYPES APPLIQUEE AU LANGAGE B

Inférence de types appliquée au langage B

MODERNISATION DU GENERATEUR D’OBLIGATIONS DE PREUVE DE L’ATELIER B

Modernisation du générateur d’obligation de preuve d’Atelier B

EXTENSION DU COMPILATEUR B POUR PERMETTRE LA CERTIFICATION T3 DU LOGICIEL DE VALIDATION DE DONNÉES DE CLEARSY

Développement en C++ d’une chaîne de compilation redondée pour certification d’un outil logiciel