Intégration du couplage UML/B dans le développement BCAML
DUROUX
Type de document
RAPPORT DE STAGE
Langue
francais
Auteur
DUROUX
Résumé / Abstract
Le sujet proposé dans ce stage est l'étude de l'intégration du développement OCAML UML/B effectué dans le cadre de la thèse de Ammel Mammar (CNAM/Cédric) au sein de la plate-forme BCAML développée au sein d'ESTAS. (étude encadrée par G. Mariano - resp. INRETS-ESTAS et V. Poirriez - resp. UVHC)
