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
Conférences
|
From Research to Teaching Formal Methods: the B Method - Nantes 2010 Le colloque "From Research to Teaching Formal Methods: the B Method" s'est déroulé à Nantes le 07 Juin 2010, à l'occasion des journées scientifiques de l'Université de Nantes. |
|
L'objectif de ce Workshop consiste à présenter les méthodes formelles B et B événementiel en tant que technique pour la spécification, la conception, le codage et la validation de logiciels basés sur des systèmes. |
|
WOBD - Workshop on B Dissemination - Evénement satellite de SBMF 2010 Ce workshop B/event-B est organisé dans le cadre du projet DEPLOY. Il 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, ainsi que les applications en vraie grandeur à des problématiques industrielles. |
|
Workshop on Recent Innovations and Applications in B Le workshop "Recent Innovations and Applications in B" (RIAB) aura lieu le 3 novembre 2009 durant le Formal Methods Week... |
|
|
Journée de Présentation de la Méthode B AeS et ClearSy ont organisés une journée dédiée à la méthode B, qui s'est déroulée au Brésil. L'objectif de cet événement consistait à présenter et promouvoir la méthode B, au travers de différentes présentations de projets et d'outils ayant fait appel à B. |
|
|
ClearSy a participé à la conférence internationale sur les méthode formelle qui s'est déroulée du 28 au 30 mai 2008, à Turku en Finlande. |
|
|
Conférence de Nantes 2008 : La Méthode B - de la Recherche à l'Enseignement Cette conférence porte sur la méthode B et s'est déroulée le 16 juin 2008, à la Cité Internationale des Congrès, à Nantes... |
|
|
B2007 est une conférence internationale portant sur le langage B, ces évolutions et ses outils associés. |
|
|
Conférence AFADL'06 Participation de Clearsy à AFADL'06 (15, 16, 17 mars 2006). Démonstration d'un nouvel outil d'aide à la spécification de système : CompoSys. Pour découvrir Composys... |
