Accueil l Actualité l Société l Activités l Secteurs l Supports Commerciaux l Nos Projets l Evénements l Nos Produits et Formations l Nos Valeurs l Recrutement l Newsletter l Contacts l Plan du Site   -  

Méthode B et Atelier B

La méthode B, inventée par Jean Raymond ABRIAL, est une méthode formelle avec preuves et affinements, utilisée pour :

  • la réalisation de logiciels corrects par construction
  • la modélisation de systèmes dans leur environnement

 

Cette méthode est utilisée industriellement dans le domaine ferroviaire. Elle est largement diffusée et reconnue dans le monde universitaire.

ClearSy en assure le développement en collaboration avec des industriels, des centres de recherche et Jean Raymond ABRIAL.

 

ClearSy System Engineering - Parc de la Duranne - 320 av. Archimède - Les Pléïades III Bat A
13857 AIX EN PROVENCE CEDEX 3
Tel : 04 42 37 12 70 - Fax : 04 42 37 12 71 - contact@clearsy.com