Publié le 08/03/2010 |

CLEARSY a le plaisir d’annoncer sa participation au Workshop on B Dissemination, un événement satellite du colloque SBMF 2010 qui se déroulera du 8 au 9 novembre 2010 à Natal au Brésil.

Ce workshop est organisé dans le cadre du projet DEPLOY et a pour objectif de présenter l’état d’avancement des travaux de recherche et de développement autour des langages B et Event-B.

Les sujets abordés lors de ce workshop sont nombreux :

  • Développement d’outils (extensions du langage, démonstrateurs tiers, génération de code, etc.)
  • Techniques de modélisation (propriétés temps-réel, raffinement probabiliste, patrons de conception, logique d’ordre supérieur, etc.)
  • Déploiement (méthodologie, cas d’études, retour d’expérience, passage à l’échelle, etc.)