bandeau_web_colloques_js2008
The B Method: from Research to Teaching


>>   16 June 2008   <<
Nantes
France

Local informations

Conference informations

http://www.univ-nantes.fr/js2008

The "blog"

 http://teachingbconference.blogspot.com/
The City of Congress brings you the Cité pass (City Pass) allowing access to the entire public transportation network of Nantes ( TAN) , including airport shuttles.
The Cité Pass is valid only on Monday, June 16, 2008. If you wish to receive the Cité Pass please ask us before your arrival at Nantes.

Booths

ClearSy participera à la conférence "The B Method: from Research to Teaching", organisée par l'université de Nantes.

Cette conférence se déroulera le 16 juin 2008, à la Cité Internationale des Congrès, et abordera la question de la Méthode B, au travers de la Recherche et de l'Enseignement.

A cette occasion ClearSy participera au stand  "méthode B" et présentera différents outils dédiés à la méthode B tels que l'Atelier B (développement de modèles et de logiciels prouvés), Brama (outil d'animation de modèle basé sur la plateforme Rodin), CompoSys (outils de modélisation de systèmes documentés) et Bart (outil de raffinement automatique de modèles).

Pour connaître le programme de cette conférence, nous vous invitons à découvrir

Cordialement

CLEARSY SYSTEM ENGINEERING


ClearSy will participate in "The B Method: from Research to Teaching" conference organized by the Université de Nantes.

This conference will take place on June 16, 2008 at the Cité Internationale des Congrès and will discuss the issue of the B Method in Research and Teaching.

On this occasion,
ClearSy will be at the “Method B” booth and will present various tools dedicated to the B Method such as Atelier B (development of proven models and software), Brama (model animation tool based on the Rodin platform), CompoSys (documented system modelling tools) and Bart (automatic model refinement tool).


Supported by:
Association de Pilotage des Conférences B 
B Conferences Steering Committee
apcb
. . . . .