Plan du Site

Actualité B

• Projets Open Source ClearSy
• Gratuité de l'Atelier B
• Colloque "B Dissemination Day 2008"
• FLOSS FM 2008
• DASIA 2088
• FM 2008
• Conférence de Nantes 2008
• Conférence ABZ 2008
• Conférence ICFEM 2007

La Méthode B

• B, pour la conception de systèmes et logiciels prouvés.
• La Méthode B
• Objectifs de la Méthode B
• Diffusion de la Méthode B
• Utilisateurs de la Méthode B
• La Méthode B et ses Outils
• Documentation B
   

Travaux R&D

• ATELIER B
• B4L4
• BART
• BRAMA
• COMENC
• COSYC
• DEPLOY PROJECT
• EQUAST
• MATISSE
• PUSSEE
• REAIMS
• RIMEL
• RODIN
• VERBATIM

Publications

• Publications de Clearsy
• Comités de Programmes
• Publications des Collaborateurs de ClearSy
• BURDY Lilian
• LECOMTE Thierry
• MUSSAT Louis
• SABATIER Denis
  
  
  
  
  
  
  
   

B, Les Différents Langages

• B
• Le langage B
• La méthode B
• L'Atelier B
• B système
• B événementiel
• B procédural
• B logiciel
• B classique
• B Rodin
• B#(Bsharp)

Projets Open Source

• Compilateur B
• BART
• IHM Atelier B 4.0
• ComenC
  
  
  
  
  
  
   

Outils B

• B4FREE
• BEDITOR
• RODIN
• BRAMA
• B2RODIN
• COMPOSYS

Documents

• Formal Specification : a Roadmap - Axel va Lamsweerde
• Computer Safety, Reliability, and Security - Francesca Saglietti