Accueil |
Actualités B |
La Méthode B |
Travaux R&D |
Preuve Formelle |
Publications |
Conférences |
B, les différents langages |
Projets Open Source |
Outils B |
Documents |
Liens |
Contact
B Dissemination Day
Satellite event of Grace International Symposium on Advanced Software Engineering 2010
15/17 Mars 2010, Tokyo, Japon
Le Workshop B Dissemination Day s'est déroulé à Tokyo (Japon), le 17 mars 2010 comme événement satellite du GRACE International Symposium on Advanced Software Engineering.
76 personnes se sont incrites à cet événement et sont essentiellement issues du secteur de l'industrie (CSK, Fujitsu, Hitachi, IBM, Kansai Electric Power, Melco Power Systems, Mitsubishi, NEC, Toshiba, Toyota, etc.).
D'intéressantes questions et remarques ont été collectées tout au long de la journée et de nouveaux projets prometteurs ont déjà été établis...
Les différentes présentations données au cours de la journée sont d'ores et déjà disponibles sur la page suivante :
http://www.bmethod.com/php/conference-grace-2010-en.php.
Les Workshops B Dissemination Day sont organisés à travers le monde pour permettre la dissémination des technologies B et Event-B (outils, méthodes) auprès des industriels et des académiques au travers du projet DEPLOY :