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.)