B Dissemination Day – Salvador
CLEARSY et AeS ont organisé une journée de présentation de la méthode formelle B à Salvador, Brésil (26/08/2008), en tant qu’événement satellite de la conférence SBMF’2008 (Brasilian Symposium on Formal Methods). La journée a été consacrée à la présentation des techniques de développement de logiciels avec B et à la modélisation système avec le B événementiel. Les outils associés ont été démontrés sur des cas pratiques (Atelier B, Bart, Brama, ComenC, ProB, Rodin) puis certaines applications industrielles ont été détaillées. 20 chercheurs environ ont assisté à cette journée.
B Dissemination Day – Sao Paulo
Un séminaire technique a été organisé à Sao Paulo, Brésil (28/08/2008) par l’Instituto de Pesquisas Tecnologicas, en collaboration avec AeS et CLEARSY. La journée a été entièrement consacrée à la présentation des techniques de développement de logiciels avec B et à la modélisation système avec le B événementiel. Les outils associés ont été démontrés sur des cas pratiques (Atelier B, Bart, Brama, ComenC, ProB, Rodin) puis certaines applications industrielles ont été détaillées. 45 personnes environ, venant d’horizons très différents (transport, banque, télécommunications, etc.) ont assisté à cette journée (Alstom Energia e Transportes, Nextview, Compugraf, Companhia do Metropolitano de Sap Paulo, Banco Itaõ, Companhia de Trens Metropolitanos, KALBTEL telecomunicaõs, Instituto tecnologico de aeronotica, Ephasys IT solutions, Altec do Brasil, etc.).
