CLEARSY organise un Workshop « B Dissemination Day » à Tokyo

Dans le cadre du projet DEPLOY, CLEARSY organise le workshop « B Dissemination Day ». Cet événement se déroulera dans le cadre du symposium « GRACE International Symposium on Advanced Software Engineering 2010 » qui aura lieu du 15 au 17 mars 2010 à Tokyo. Ce workshop se tiendra le 17 mars 2010 dans la tour Hitotsubachi duNational Institute of Informatics.

T. Lecomte et A.Requet participeront à cette journée et présenteront la méthode B et ses enjeux au cours de différents cas pratiques. L’outil BART, ainsi que la Génération de Code sous l’Atelier B seront notamment au programme de cette journée dédiée à B…

Pour en savoir plus, voici le programme du workshop…
Connaître le programme du symposium…